funnyos/kern/kern_time.c - diff

Return to kern_time.c CVS log

Up to [local] / funnyos / kern

version 1.1, 2007/11/06 22:52:39

version 1.4, 2007/12/16 23:25:38

Line 3

#include <sys/types.h>

#include <sys/kern_time.h>

#include <sys/kern_sched.h>

#include <libkern/printf.h>

Line 40

Line 42

/* update time data */

systimedata.td_seconds = sysrtcops.ro_getsec();

/* TODO kick scheduler */

#ifndef ARCH_SAM7S64

/* kick scheduler */

sched_tick();

#else

printf("sysclock! seconds=%d\n", systimedata.td_seconds);

#endif /* not ARCH_SAM7S64 */

printf("sysclock! td_seconds = %d\n", systimedata.td_seconds);

}