Searched refs:resctrl_arch_system_num_rmid_idx (Results 1 – 3 of 3) sorted by relevance
136 u32 idx_limit = resctrl_arch_system_num_rmid_idx(); in __check_limbo()195 u32 idx_limit = resctrl_arch_system_num_rmid_idx(); in has_busy_rmid()925 idx_limit = resctrl_arch_system_num_rmid_idx(); in setup_rmid_lru_list()1145 u32 idx_limit = resctrl_arch_system_num_rmid_idx(); in resctrl_reset_rmid_all()
4370 u32 idx_limit = resctrl_arch_system_num_rmid_idx(); in domain_setup_l3_mon_state()
120 u32 resctrl_arch_system_num_rmid_idx(void) in resctrl_arch_system_num_rmid_idx() function