Sign in
zircon-guest
/
third_party
/
linux
/
a4372ebf765b6ebb3d28e4d9b3dba741a2314992
/
.
/
arch
/
m68k
/
hp300
/
time.h
blob: f5583ec4033d46c076d91e8e017fbb996ad0fcab [
file
] [
log
] [
blame
]
extern
void
hp300_sched_init
(
irq_handler_t
vector
);
extern
u32 hp300_gettimeoffset
(
void
);