Searched refs:GUEST_PML_INDEX (Results 1 – 2 of 2) sorted by relevance
393 GUEST_PML_INDEX = 0x00000812, enumerator
1615 __vmwrite(GUEST_PML_INDEX, NR_PML_ENTRIES - 1); in vmx_vcpu_enable_pml()1657 __vmread(GUEST_PML_INDEX, &pml_idx); in vmx_vcpu_flush_pml_buffer()1696 __vmwrite(GUEST_PML_INDEX, NR_PML_ENTRIES - 1); in vmx_vcpu_flush_pml_buffer()
Completed in 8 milliseconds