On 2019/10/27 22:42, Marc Zyngier wrote: > Obtaining the mapping information for a VLPI is something quite common, > and the GICv4.1 code is going to make even more use of it. Expose it as > a separate helper. > > Signed-off-by: Marc Zyngier <maz@kernel.org>