https://github.com/torvalds/linux
Raw File
Tip revision: 6f7da290413ba713f0cdd9ff1a2a9bb129ef4f6c authored by Linus Torvalds on 02 July 2017, 23:07:02 UTC
Linux 4.12
Tip revision: 6f7da29
time.h
extern void hp300_sched_init(irq_handler_t vector);
extern u32 hp300_gettimeoffset(void);
back to top