vmread_bitmap     838 arch/x86/kvm/vmx/nested.c 	if (CC(!page_address_valid(vcpu, vmcs12->vmread_bitmap)) ||
vmread_bitmap    5403 arch/x86/kvm/vmx/nested.c 			vmcs12->vmread_bitmap);
vmread_bitmap      50 arch/x86/kvm/vmx/vmcs12.c 	FIELD64(VMREAD_BITMAP, vmread_bitmap),
vmread_bitmap      67 arch/x86/kvm/vmx/vmcs12.h 	u64 vmread_bitmap;
vmread_bitmap     257 arch/x86/kvm/vmx/vmcs12.h 	CHECK_OFFSET(vmread_bitmap, 280);