Searched refs:mksstat_kern_stats_t (Results 1 – 2 of 2) sorted by relevance
48 } mksstat_kern_stats_t; typedef94 /* mutable */ mksstat_kern_stats_t old_top;
665 static inline char *mksstat_init_record_time(mksstat_kern_stats_t stat_idx, in mksstat_init_record_time()