swh:1:snp:32555a3fd8878f019c2ebd6c964bc1edcaeff337
Raw File
Tip revision: 28a33cbc24e4256c143dce96c7d93bf423229f92 authored by Linus Torvalds on 21 July 2012, 20:58:29 UTC
Linux 3.5
Tip revision: 28a33cb
time.h
extern void hp300_sched_init(irq_handler_t vector);
extern unsigned long hp300_gettimeoffset(void);
back to top