os_kernel_lab/labcodes/lab3/kern/driver/clock.h
2013-09-17 22:21:48 +08:00

12 lines
178 B
C

#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__ */