On Fri, Apr 14, 2017 at 3:45 PM, Eric Auger <eric.auger@xxxxxxxxxx> wrote: > We need to use those helpers in vgic-its.c so let's > expose them in the private vgic header. > > Signed-off-by: Eric Auger <eric.auger@xxxxxxxxxx> > Acked-by: Marc Zyngier <marc.zyngier@xxxxxxx> Tested-by: Prakash, Brahmajyosyula <Brahmajyosyula.Prakash@xxxxxxxxxx>