Searched refs:VMCS_LINK_POINTER (Results 1 – 5 of 5) sorted by relevance
55 FIELD64(VMCS_LINK_POINTER, vmcs_link_pointer),
75 EVMCS1_FIELD(VMCS_LINK_POINTER, vmcs_link_pointer,
221 vmcs_write64(VMCS_LINK_POINTER, -1ull); in vmx_disable_shadow_vmcs()2190 vmcs_write64(VMCS_LINK_POINTER, -1ull); in prepare_vmcs02_early_rare()5368 vmcs_write64(VMCS_LINK_POINTER, in set_current_vmptr()
4423 vmcs_write64(VMCS_LINK_POINTER, -1ull); /* 22.3.1.5 */ in init_vmcs()
226 VMCS_LINK_POINTER = 0x00002800, enumerator