Searched refs:vmx_vmread_bitmap (Results 1 – 1 of 1) sorted by relevance
903 static unsigned long *vmx_vmread_bitmap; variable3384 vmx_vmread_bitmap); in init_vmcs_shadow_fields()3388 vmx_vmread_bitmap); in init_vmcs_shadow_fields()4781 vmcs_write64(VMREAD_BITMAP, __pa(vmx_vmread_bitmap)); in vmx_vcpu_setup()6152 vmx_vmread_bitmap = (unsigned long *)__get_free_page(GFP_KERNEL); in hardware_setup()6153 if (!vmx_vmread_bitmap) in hardware_setup()6160 memset(vmx_vmread_bitmap, 0xff, PAGE_SIZE); in hardware_setup()6309 free_page((unsigned long)vmx_vmread_bitmap); in hardware_setup()6338 free_page((unsigned long)vmx_vmread_bitmap); in hardware_unsetup()