Searched refs:resctrl_arch_system_num_rmid_idx (Results 1 – 4 of 4) sorted by relevance
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()1000 u32 idx_limit = resctrl_arch_system_num_rmid_idx(); in dom_data_init()
108 u32 resctrl_arch_system_num_rmid_idx(void) in resctrl_arch_system_num_rmid_idx() function
4192 u32 idx_limit = resctrl_arch_system_num_rmid_idx(); in domain_setup_mon_state()
358 u32 resctrl_arch_system_num_rmid_idx(void);