Searched defs:k_uint32_t (Results 1 – 1 of 1) sorted by relevance
107 mutex_prof_uint32_t_counter_ind_t k_uint32_t = 0; in mutex_stats_init_cols() local233 mutex_prof_uint32_t_counter_ind_t k_uint32_t = 0; in mutex_stats_emit() local