Return to kern_time.c CVS log | Up to [local] / funnyos / kern |
version 1.2, 2007/11/23 13:37:43 | version 1.4, 2007/12/16 23:25:38 | ||
---|---|---|---|
|
|
||
/* update time data */ | /* update time data */ | ||
systimedata.td_seconds = sysrtcops.ro_getsec(); | systimedata.td_seconds = sysrtcops.ro_getsec(); | ||
/* TODO kick scheduler */ | #ifndef ARCH_SAM7S64 | ||
/* kick scheduler */ | |||
sched_tick(); | sched_tick(); | ||
#else | |||
printf("sysclock! seconds=%d\n", systimedata.td_seconds); | |||
#endif /* not ARCH_SAM7S64 */ | |||
} | } | ||