VMCS_CLEARED - OpenBSD

1407

atomic_swap_uint(&vcpu->vc_vmx_vmcs_state, VMCS_CLEARED);

2534

atomic_swap_uint(&vcpu->vc_vmx_vmcs_state, VMCS_CLEARED);

2571

vcpu->vc_vmx_vmcs_state = VMCS_CLEARED;

394

VMCS_CLEARED);

894

atomic_swap_uint(&vcpu->vc_vmx_vmcs_state, VMCS_CLEARED);

968

atomic_swap_uint(&vcpu->vc_vmx_vmcs_state, VMCS_CLEARED);

974

KASSERT(vcpu->vc_vmx_vmcs_state == VMCS_CLEARED);