Searched refs:resctrl_arch_system_num_rmid_idx (Results 1 – 4 of 4) sorted by relevance
251 u32 resctrl_arch_system_num_rmid_idx(void);
369 u32 idx_limit = resctrl_arch_system_num_rmid_idx(); in __check_limbo()426 u32 idx_limit = resctrl_arch_system_num_rmid_idx(); in has_busy_rmid()988 u32 idx_limit = resctrl_arch_system_num_rmid_idx(); in dom_data_init()
122 u32 resctrl_arch_system_num_rmid_idx(void) in resctrl_arch_system_num_rmid_idx() function
4041 u32 idx_limit = resctrl_arch_system_num_rmid_idx(); in domain_setup_mon_state()