Applied patch set 6 by Ben, derived from Anthony's megapatch, and minor
[pintos-anon] / src / devices / rtc.h
1 #ifndef RTC_H
2 #define RTC_H
3
4 typedef unsigned long time_t;
5
6 time_t rtc_get_time (void);
7
8 #endif