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