Symbol: VMCS12_IDX_TO_ENC
arch/x86/kvm/vmx/nested.c
7089
idx = vmcs_field_index(VMCS12_IDX_TO_ENC(i));
arch/x86/kvm/vmx/vmcs12.c
169
switch (VMCS12_IDX_TO_ENC(idx)) {