Symbol: VMCS_FIELD_INDEX_SHIFT