Searched refs:print_tfcr (Results 1 – 1 of 1) sorted by relevance
341 void print_tfcr(int which) in print_tfcr() function408 print_tfcr(which); in print_timers()