BUMPTIME          308 kern/kern_clock.c 	BUMPTIME(&time, delta);
BUMPTIME          309 kern/kern_clock.c 	BUMPTIME(&mono_time, delta);