+3
−9
Loading
Donate to e Foundation | Murena handsets with /e/OS | Own a part of Murena! Learn more
vgic_get_target_reg is quite complicated, for no good reason. Actually, it is fairly easy to write it in a much more efficient way by using the target CPU array instead of the bitmap. Signed-off-by:Marc Zyngier <marc.zyngier@arm.com> Signed-off-by:
Gleb Natapov <gleb@redhat.com>