https://github.com/torvalds/linux
Raw File
Tip revision: c7788792a5e7b0d5d7f96d0766b4cb6112d47d75 authored by Linus Torvalds on 20 May 2013, 21:37:38 UTC
Linux 3.10-rc2
Tip revision: c778879
time.h
extern void hp300_sched_init(irq_handler_t vector);
extern u32 hp300_gettimeoffset(void);
back to top