VMCS_LINK_POINTER
EVMCS1_FIELD(VMCS_LINK_POINTER, vmcs_link_pointer,
vmcs_write64(VMCS_LINK_POINTER, INVALID_GPA);
vmcs_write64(VMCS_LINK_POINTER, INVALID_GPA);
vmcs_write64(VMCS_LINK_POINTER,
FIELD64(VMCS_LINK_POINTER, vmcs_link_pointer),
vmcs_write64(VMCS_LINK_POINTER, INVALID_GPA); /* 22.3.1.5 */
case VMCS_LINK_POINTER:
case VMCS_LINK_POINTER:
vmwrite(VMCS_LINK_POINTER, -1ll);
vmwrite(VMCS_LINK_POINTER, vmx_pages->shadow_vmcs_gpa);