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