Searched refs:vmread_bitmap (Results 1 – 2 of 2) sorted by relevance
76 struct page_info *vmread_bitmap, *vmwrite_bitmap; in nvmx_vcpu_initialise() local79 vmread_bitmap = alloc_domheap_page(NULL, 0); in nvmx_vcpu_initialise()80 if ( !vmread_bitmap ) in nvmx_vcpu_initialise()85 v->arch.hvm_vmx.vmread_bitmap = vmread_bitmap; in nvmx_vcpu_initialise()87 clear_domain_page(_mfn(page_to_mfn(vmread_bitmap))); in nvmx_vcpu_initialise()158 if ( v->arch.hvm_vmx.vmread_bitmap ) in nvmx_vcpu_destroy()160 free_domheap_page(v->arch.hvm_vmx.vmread_bitmap); in nvmx_vcpu_destroy()161 v->arch.hvm_vmx.vmread_bitmap = NULL; in nvmx_vcpu_destroy()1142 __vmwrite(VMREAD_BITMAP, page_to_maddr(v->arch.hvm_vmx.vmread_bitmap)); in nvmx_set_vmcs_pointer()
163 struct page_info *vmread_bitmap; member
Completed in 9 milliseconds