Searched refs:VMCS_LINK_POINTER (Results 1 – 5 of 5) sorted by relevance
56 FIELD64(VMCS_LINK_POINTER, vmcs_link_pointer),
69 EVMCS1_FIELD(VMCS_LINK_POINTER, vmcs_link_pointer,
225 vmcs_write64(VMCS_LINK_POINTER, INVALID_GPA); in vmx_disable_shadow_vmcs()2335 vmcs_write64(VMCS_LINK_POINTER, INVALID_GPA); in prepare_vmcs02_early_rare()5784 vmcs_write64(VMCS_LINK_POINTER, in set_current_vmptr()
4624 vmcs_write64(VMCS_LINK_POINTER, INVALID_GPA); /* 22.3.1.5 */ in init_vmcs()
264 VMCS_LINK_POINTER = 0x00002800, enumerator
Completed in 29 milliseconds