kern

view src/rtc.h @ 46:b793b8fcba7d

apparently free_phys_page was never tested. the check for double-freeing a page was inverted.
author John Tsiombikas <nuclear@member.fsf.org>
date Thu, 28 Jul 2011 05:33:59 +0300
parents 2c401f69128e
children
line source
1 #ifndef _RTC_H_
2 #define _RTC_H_
4 #include <time.h>
6 /* the time read from rtc during init */
7 time_t start_time;
9 void init_rtc(void);
11 #endif /* _RTC_H_ */