On 16/05/17 19:45, Christoffer Dall wrote: > As we are about to support VCPU attributes to set the timer IRQ numbers > in guest.c, move the static inlines for the VCPU attributes handlers > from the header file to guest.c. > > Signed-off-by: Christoffer Dall <cdall@xxxxxxxxxx> Acked-by: Marc Zyngier <marc.zyngier@xxxxxxx> M. -- Jazz is not dead. It just smells funny...
