CONFIG_TIME_SLICE   48 sys/include/sched.h #define QUANTUM		(CONFIG_TIME_SLICE * HZ / 1000)
CONFIG_TIME_SLICE  732 sys/kern/sched.c 	DPRINTF(("Time slice is %d msec\n", CONFIG_TIME_SLICE));