tc_windup         101 kern/kern_tc.c void tc_windup(void);
tc_windup         300 kern/kern_tc.c 	tc_windup();
tc_windup         504 kern/kern_tc.c 	tc_windup();