Searched refs:VMCS_LINK_POINTER (Results 1 – 7 of 7) sorted by relevance
56 FIELD64(VMCS_LINK_POINTER, vmcs_link_pointer),
69 EVMCS1_FIELD(VMCS_LINK_POINTER, vmcs_link_pointer,
224 vmcs_write64(VMCS_LINK_POINTER, INVALID_GPA); in vmx_disable_shadow_vmcs()2319 vmcs_write64(VMCS_LINK_POINTER, INVALID_GPA); in prepare_vmcs02_early_rare()5765 vmcs_write64(VMCS_LINK_POINTER, in set_current_vmptr()
4740 vmcs_write64(VMCS_LINK_POINTER, INVALID_GPA); /* 22.3.1.5 */ in init_vmcs()
263 VMCS_LINK_POINTER = 0x00002800, enumerator