Searched refs:pml_pg (Results 1 – 2 of 2) sorted by relevance
1608 v->arch.hvm.vmx.pml_pg = v->domain->arch.paging.alloc_page(v->domain); in vmx_vcpu_enable_pml()1609 if ( !v->arch.hvm.vmx.pml_pg ) in vmx_vcpu_enable_pml()1614 __vmwrite(PML_ADDRESS, page_to_maddr(v->arch.hvm.vmx.pml_pg)); in vmx_vcpu_enable_pml()1643 v->domain->arch.paging.free_page(v->domain, v->arch.hvm.vmx.pml_pg); in vmx_vcpu_disable_pml()1644 v->arch.hvm.vmx.pml_pg = NULL; in vmx_vcpu_disable_pml()1663 pml_buf = __map_domain_page(v->arch.hvm.vmx.pml_pg); in vmx_vcpu_flush_pml_buffer()
178 struct page_info *pml_pg; member
Completed in 8 milliseconds