time.h

Linux内核源代码 为压缩文件 是<<Linux内核>>一书中的源代码

extern void hp300_sched_init(void (*vector)(int, void *, struct pt_regs *));
extern unsigned long hp300_gettimeoffset (void);