![[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.1, 2007/11/06 22:52:39 | version 1.2, 2007/11/23 13:37:43 | ||
|---|---|---|---|
|
|
||
| */ | */ | ||
| #include <sys/types.h> | #include <sys/types.h> | ||
| #include <sys/kern_time.h> | #include <sys/kern_time.h> | ||
| #include <sys/kern_sched.h> | |||
| #include <libkern/printf.h> | #include <libkern/printf.h> | ||
| /* | /* | ||
|
|
||
| systimedata.td_seconds = sysrtcops.ro_getsec(); | systimedata.td_seconds = sysrtcops.ro_getsec(); | ||
| /* TODO kick scheduler */ | /* TODO kick scheduler */ | ||
| sched_tick(); | |||
| printf("sysclock! td_seconds = %d\n", systimedata.td_seconds); | |||
| } | } | ||