MOVEBUCKET        213 kern/kern_timeout.c 	MOVEBUCKET(0, ticks);
MOVEBUCKET        215 kern/kern_timeout.c 		MOVEBUCKET(1, ticks);
MOVEBUCKET        217 kern/kern_timeout.c 			MOVEBUCKET(2, ticks);
MOVEBUCKET        219 kern/kern_timeout.c 				MOVEBUCKET(3, ticks);