Symbol: kvmppc_set_xive_tima
arch/powerpc/include/asm/kvm_ppc.h
451
static inline void kvmppc_set_xive_tima(int cpu,
arch/powerpc/include/asm/kvm_ppc.h
582
static inline void kvmppc_set_xive_tima(int cpu,