Symbol: VMCS_FIELD_INDEX_SHIFT
arch/x86/kvm/vmx/nested.c
7094
return (u64)max_idx << VMCS_FIELD_INDEX_SHIFT;
arch/x86/kvm/vmx/vmcs.h
204
return (field & VMCS_FIELD_INDEX_MASK) >> VMCS_FIELD_INDEX_SHIFT;