version 1.1, 2007/11/06 22:52:39 |
version 1.4, 2007/12/16 23:25:38 |
|
|
*/ |
*/ |
#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> |
|
|
/* |
/* |
|
|
/* 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(); |
|
#else |
|
printf("sysclock! seconds=%d\n", systimedata.td_seconds); |
|
#endif /* not ARCH_SAM7S64 */ |
|
|
printf("sysclock! td_seconds = %d\n", systimedata.td_seconds); |
|
} |
} |
|
|