__scd_stamp       162 kernel/sched/clock.c 	__scd_stamp(scd);
__scd_stamp       203 kernel/sched/clock.c 	__scd_stamp(scd);
__scd_stamp       402 kernel/sched/clock.c 	__scd_stamp(scd);