os_kernel_lab/code/lab2/kern/driver/clock.h
2012-08-22 12:32:13 +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__ */