Searched refs:k_uint32_t (Results 1 – 1 of 1) sorted by relevance
93 mutex_prof_uint32_t_counter_ind_t k_uint32_t = 0; in mutex_stats_init_cols() local201 mutex_prof_uint32_t_counter_ind_t k_uint32_t = 0; in mutex_stats_emit() local