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> |
||
---|---|---|
.. | ||
hyp | ||
coproc_a7.c | ||
coproc_a15.c | ||
coproc.c | ||
coproc.h | ||
emulate.c | ||
guest.c | ||
handle_exit.c | ||
init.S | ||
interrupts.S | ||
irq.h | ||
Kconfig | ||
Makefile | ||
reset.c | ||
trace.h | ||
vgic-v3-coproc.c |