Searched refs:VMCS_LINK_POINTER (Results 1 – 2 of 2) sorted by relevance
127 VMCS_LINK_POINTER = 0x00002800, enumerator
2623 vmcs_write64(VMCS_LINK_POINTER, -1ull); /* 22.3.1.5 */ in vmx_vcpu_setup()