original_kernel/arch/m68k/hp300/time.h