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@xxxxxxxxxx>