Searched refs:PML_ADDRESS (Results 1 – 2 of 2) sorted by relevance
147 PML_ADDRESS = 0x0000200e, enumerator
7852 vmcs_write64(PML_ADDRESS, page_to_phys(vmx->pml_pg)); in vmx_create_pml_buffer()