PKUOS - Pintos
Pintos source browser for PKU Operating System course
rtc.h
Go to the documentation of this file.
1#ifndef RTC_H
2#define RTC_H
3
4typedef unsigned long time_t;
5
6time_t rtc_get_time (void);
7
8#endif
rtc_get_time
time_t rtc_get_time(void)
Returns number of seconds since Unix epoch of January 1,.
Definition: rtc.c:43
time_t
unsigned long time_t
Definition: rtc.h:4
Generated on Thu Nov 4 2021 19:31:00 for PKUOS - Pintos by doxygen 1.9.2