| commit | 2227e43930278a53054046f9746cba69a1379639 | [log] [tgz] |
|---|---|---|
| author | Christoffer Dall <cdall@linaro.org> | Tue May 02 15:17:59 2017 +0200 |
| committer | Christoffer Dall <cdall@linaro.org> | Thu Jun 08 16:59:55 2017 +0200 |
| tree | c7ff6336ed5393caae38588827d3d6588edfbd29 | |
| parent | a2befacf50940017e0de8461c4b924a929c4edc5 [diff] |
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>