vmcs_field_to_offset_table   12 arch/x86/kvm/vmx/vmcs12.c const unsigned short vmcs_field_to_offset_table[] = {
vmcs_field_to_offset_table  157 arch/x86/kvm/vmx/vmcs12.c const unsigned int nr_vmcs12_fields = ARRAY_SIZE(vmcs_field_to_offset_table);
vmcs_field_to_offset_table  372 arch/x86/kvm/vmx/vmcs12.h extern const unsigned short vmcs_field_to_offset_table[];
vmcs_field_to_offset_table  390 arch/x86/kvm/vmx/vmcs12.h 	offset = vmcs_field_to_offset_table[index];