Searched refs:PML_ADDRESS (Results 1 – 3 of 3) sorted by relevance
136 PML_ADDRESS = 0x0000200e, enumerator
2347 vmcs_write64(PML_ADDRESS, 0); in prepare_vmcs02_early_rare()
4962 vmcs_write64(PML_ADDRESS, page_to_phys(vmx->pml_pg)); in __vmx_vcpu_reset()