![[BACK]](/icons/back.gif){kind=icon}
Return to kern_time.c CVS log ![[TXT]](/icons/text.gif){kind=icon}
![[DIR]](/icons/dir.gif){kind=icon}
Up to [local] / funnyos / kern|
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 */ | |||
| } | } | ||