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); | |||
} | } | ||