os_kernel_lab/related_info/lab4/lab4-spoc-discuss/kern/driver/clock.h
2015-04-15 11:23:03 +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__ */