VCORE_IS_EXITING 3941 arch/powerpc/kvm/book3s_hv.c !VCORE_IS_EXITING(vc)) { VCORE_IS_EXITING 144 arch/powerpc/kvm/book3s_hv_builtin.c while ((get_tb() < stop) && !VCORE_IS_EXITING(vc)) {