Searched refs:GUEST_PML_INDEX (Results 1 – 2 of 2) sorted by relevance
165 GUEST_PML_INDEX = 0x00000812, enumerator
314 vmwrite(GUEST_PML_INDEX, 0); in init_vmcs_guest_state()