os_kernel_lab/labcodes_answer/lab7_result/kern/driver/clock.h

#ifndef __KERN_DRIVER_CLOCK_H__
#define __KERN_DRIVER_CLOCK_H__

#include <defs.h>

extern volatile size_t ticks;

void clock_init(void);

#endif /* !__KERN_DRIVER_CLOCK_H__ */