VMX_VMCS_PA_CLEAR
ci->ci_vmcs_pa = VMX_VMCS_PA_CLEAR;
if (vmwrite(VMCS_LINK_POINTER, VMX_VMCS_PA_CLEAR)) {
atomic_swap_ulong(&ci->ci_vmcs_pa, VMX_VMCS_PA_CLEAR);
while (ci->ci_vmcs_pa != VMX_VMCS_PA_CLEAR) {