pintos-os.org Git - pintos-anon/blob - 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