resctrl_get_config_index
u32 idx = resctrl_get_config_index(closid, t);
idx = resctrl_get_config_index(closid, t);
u32 idx = resctrl_get_config_index(closid, type);