Searched refs:vmread_bitmap (Results 1 – 2 of 2) sorted by relevance
93 struct page_info *vmread_bitmap, *vmwrite_bitmap; in nvmx_vcpu_initialise() local96 vmread_bitmap = alloc_domheap_page(NULL, 0); in nvmx_vcpu_initialise()97 if ( !vmread_bitmap ) in nvmx_vcpu_initialise()102 v->arch.hvm.vmx.vmread_bitmap = vmread_bitmap; in nvmx_vcpu_initialise()104 clear_domain_page(page_to_mfn(vmread_bitmap)); in nvmx_vcpu_initialise()182 if ( v->arch.hvm.vmx.vmread_bitmap ) in nvmx_vcpu_destroy()184 free_domheap_page(v->arch.hvm.vmx.vmread_bitmap); in nvmx_vcpu_destroy()185 v->arch.hvm.vmx.vmread_bitmap = NULL; in nvmx_vcpu_destroy()1182 __vmwrite(VMREAD_BITMAP, page_to_maddr(v->arch.hvm.vmx.vmread_bitmap)); in nvmx_set_vmcs_pointer()
175 struct page_info *vmread_bitmap; member
Completed in 10 milliseconds