swh:1:snp:32555a3fd8878f019c2ebd6c964bc1edcaeff337
Raw File
Tip revision: 79a3aaa7b82e3106be97842dedfd8429248896e6 authored by Linus Torvalds on 31 March 2019, 21:39:29 UTC
Linux 5.1-rc3
Tip revision: 79a3aaa
time.h
extern void hp300_sched_init(irq_handler_t vector);
extern u32 hp300_gettimeoffset(void);
back to top