KVM: arm: Handle VCPU device attributes in guest.c
authorChristoffer Dall <cdall@linaro.org>
Tue, 2 May 2017 13:17:59 +0000 (15:17 +0200)
committerChristoffer Dall <cdall@linaro.org>
Thu, 8 Jun 2017 14:59:55 +0000 (16:59 +0200)
commit2227e43930278a53054046f9746cba69a1379639
treec7ff6336ed5393caae38588827d3d6588edfbd29
parenta2befacf50940017e0de8461c4b924a929c4edc5
KVM: arm: Handle VCPU device attributes in guest.c

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@linaro.org>
Acked-by: Marc Zyngier <marc.zyngier@arm.com>
arch/arm/include/asm/kvm_host.h
arch/arm/kvm/guest.c