vmx_vmread_bitmap   74 arch/x86/kvm/vmx/nested.c 	memset(vmx_vmread_bitmap, 0xff, PAGE_SIZE);
vmx_vmread_bitmap   87 arch/x86/kvm/vmx/nested.c 		clear_bit(field, vmx_vmread_bitmap);
vmx_vmread_bitmap  135 arch/x86/kvm/vmx/nested.c 		clear_bit(field, vmx_vmread_bitmap);
vmx_vmread_bitmap 5778 arch/x86/kvm/vmx/nested.c 		vmcs_write64(VMREAD_BITMAP, __pa(vmx_vmread_bitmap));