On Mon, Mar 27 2017 at 10:30:55 AM, 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> M. -- Jazz is not dead. It just smells funny.