The vmcs_field_to_offset_table is quite sparse, with its size determined by the highest VMCS field encoding (0x6c16 for HOST_RIP). To support multiple VMCS12 formats, we will need multiple vmcs_field_to_offset_tables, and it would be a shame to replicate this sparse table. Jim Mattson (3): kvm: vmx: Introduce VMCS12_MAX_FIELD_INDEX kvm: vmx: Change vmcs_field_type to vmcs_field_width kvm: vmx: Reduce size of vmcs_field_to_offset_table arch/x86/kvm/vmx.c | 197 +++++++++++++++++++++++++++++++---------------------- 1 file changed, 117 insertions(+), 80 deletions(-) -- 2.15.1.620.gb9897f4670-goog