Searched refs:vmx_vmread_bitmap (Results 1 – 1 of 1) sorted by relevance
841 static unsigned long *vmx_vmread_bitmap; variable3247 vmx_vmread_bitmap); in init_vmcs_shadow_fields()3251 vmx_vmread_bitmap); in init_vmcs_shadow_fields()4629 vmcs_write64(VMREAD_BITMAP, __pa(vmx_vmread_bitmap)); in vmx_vcpu_setup()6070 vmx_vmread_bitmap = (unsigned long *)__get_free_page(GFP_KERNEL); in hardware_setup()6071 if (!vmx_vmread_bitmap) in hardware_setup()6078 memset(vmx_vmread_bitmap, 0xff, PAGE_SIZE); in hardware_setup()6219 free_page((unsigned long)vmx_vmread_bitmap); in hardware_setup()6248 free_page((unsigned long)vmx_vmread_bitmap); in hardware_unsetup()