vmwrite_bitmap    839 arch/x86/kvm/vmx/nested.c 	    CC(!page_address_valid(vcpu, vmcs12->vmwrite_bitmap)))
vmwrite_bitmap   5406 arch/x86/kvm/vmx/nested.c 			vmcs12->vmwrite_bitmap);
vmwrite_bitmap     51 arch/x86/kvm/vmx/vmcs12.c 	FIELD64(VMWRITE_BITMAP, vmwrite_bitmap),
vmwrite_bitmap     68 arch/x86/kvm/vmx/vmcs12.h 	u64 vmwrite_bitmap;
vmwrite_bitmap    258 arch/x86/kvm/vmx/vmcs12.h 	CHECK_OFFSET(vmwrite_bitmap, 288);