Searched refs:k_uint64_t (Results 1 – 1 of 1) sorted by relevance
92 mutex_prof_uint64_t_counter_ind_t k_uint64_t = 0; in mutex_stats_init_cols() local200 mutex_prof_uint64_t_counter_ind_t k_uint64_t = 0; in mutex_stats_emit() local