wait_for_subcore_guest_exit   30 arch/powerpc/include/asm/hmi.h static inline void wait_for_subcore_guest_exit(void) { }
wait_for_subcore_guest_exit   17 arch/powerpc/kvm/book3s_hv_hmi.c void wait_for_subcore_guest_exit(void)