Symbol: GUEST_ACTIVITY_WAIT_SIPI
arch/x86/kvm/vmx/nested.c
3282
vmcs12->guest_activity_state != GUEST_ACTIVITY_WAIT_SIPI))
arch/x86/kvm/vmx/nested.c
3883
case GUEST_ACTIVITY_WAIT_SIPI:
arch/x86/kvm/vmx/nested.c
4654
vmcs12->guest_activity_state = GUEST_ACTIVITY_WAIT_SIPI;