diff options
| author | Christoffer Dall <cdall@linaro.org> | 2017-05-02 15:17:59 +0200 |
|---|---|---|
| committer | Christoffer Dall <cdall@linaro.org> | 2017-06-08 16:59:55 +0200 |
| commit | 2227e43930278a53054046f9746cba69a1379639 (patch) | |
| tree | c7ff6336ed5393caae38588827d3d6588edfbd29 /include | |
| parent | a2befacf50940017e0de8461c4b924a929c4edc5 (diff) | |
| download | linux-2227e43930278a53054046f9746cba69a1379639.tar.bz2 | |
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>
Diffstat (limited to 'include')
0 files changed, 0 insertions, 0 deletions