swh:1:snp:32555a3fd8878f019c2ebd6c964bc1edcaeff337
Raw File
Tip revision: 39a8804455fb23f09157341d3ba7db6d7ae6ee76 authored by Linus Torvalds on 12 April 2015, 22:12:50 UTC
Linux 4.0
Tip revision: 39a8804
time.h
extern void hp300_sched_init(irq_handler_t vector);
extern u32 hp300_gettimeoffset(void);
back to top