dummy_get_timecount   30 kern/kern_tc.c u_int dummy_get_timecount(struct timecounter *);
dummy_get_timecount   51 kern/kern_tc.c 	dummy_get_timecount, 0, ~0u, 1000000, "dummy", -1000000