Sign in
cos
/
third_party
/
kernel
/
87fc5c686ef3db9e58d2fd65e1bcc368ee6b1b76
/
.
/
arch
/
m68k
/
hp300
/
time.h
blob: f5583ec4033d46c076d91e8e017fbb996ad0fcab [
file
] [
log
] [
blame
]
extern
void
hp300_sched_init
(
irq_handler_t
vector
);
extern
u32 hp300_gettimeoffset
(
void
);