nr_vmcs12_fields  157 arch/x86/kvm/vmx/vmcs12.c const unsigned int nr_vmcs12_fields = ARRAY_SIZE(vmcs_field_to_offset_table);
nr_vmcs12_fields  373 arch/x86/kvm/vmx/vmcs12.h extern const unsigned int nr_vmcs12_fields;
nr_vmcs12_fields  386 arch/x86/kvm/vmx/vmcs12.h 	if (index >= nr_vmcs12_fields)
nr_vmcs12_fields  389 arch/x86/kvm/vmx/vmcs12.h 	index = array_index_nospec(index, nr_vmcs12_fields);