schedule_timeout
timeout = schedule_timeout(timeout);
timeout = schedule_timeout(timeout);
schedule_timeout((HZ/100 > 1) ? HZ/100 : 1); \
(void)schedule_timeout(MAX_SCHEDULE_TIMEOUT);
return schedule_timeout(timeout);
return schedule_timeout(timeout);
t = schedule_timeout(t);