[PATCH v2 2/9] KVM: arm: Handle VCPU device attributes in guest.c

[Marc Zyngier]

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 at linaro.org>

Acked-by: Marc Zyngier <marc.zyngier at arm.com>

	M.
-- 
Jazz is not dead. It just smells funny...