Symbol: VMCS_LAUNCHED
sys/arch/amd64/amd64/vmm_machdep.c
369
!= VMCS_LAUNCHED) {
sys/arch/amd64/amd64/vmm_machdep.c
3922
(vcpu->vc_vmx_vmcs_state == VMCS_LAUNCHED),
sys/arch/amd64/amd64/vmm_machdep.c
3948
atomic_swap_uint(&vcpu->vc_vmx_vmcs_state, VMCS_LAUNCHED);
sys/arch/amd64/amd64/vmm_machdep.c
4037
(vcpu->vc_vmx_vmcs_state == VMCS_LAUNCHED
sys/arch/amd64/amd64/vmm_machdep.c
4043
(vcpu->vc_vmx_vmcs_state == VMCS_LAUNCHED
sys/arch/amd64/amd64/vmm_machdep.c
4049
(vcpu->vc_vmx_vmcs_state == VMCS_LAUNCHED
sys/arch/amd64/amd64/vmm_machdep.c
7591
(vcpu->vc_vmx_vmcs_state == VMCS_LAUNCHED) ? "Yes" : "No");