Searched refs:rtc_time (Results 1 - 5 of 5) sorted by relevance

/barrelfish-2018-10-04/kernel/include/arch/x86/
H A Drtc.h22 /** \struct rtc_time rtc.h <rtc.h>
27 struct rtc_time { struct
33 void rtc_read(struct rtc_time *t);
34 void rtc_print(struct rtc_time *t);
/barrelfish-2018-10-04/usr/drivers/rtc/
H A Drtc.h24 /** \struct rtc_time rtc.h <rtc.h>
29 struct rtc_time { struct
40 extern void rtc_read(struct rtc_time *t);
42 extern void rtc_print(struct rtc_time *t);
H A Dmain.c25 struct rtc_time time;
H A Drtc.c26 \param t pointer to a rtc_time struct
68 void rtc_read(struct rtc_time *t)
106 \param t pointer to a rtc_time struct
109 void rtc_print(struct rtc_time *t)
/barrelfish-2018-10-04/kernel/arch/x86/
H A Drtc.c27 \param t pointer to a rtc_time struct
61 void rtc_read(struct rtc_time *t)
103 \param t pointer to a rtc_time struct
105 void rtc_print(struct rtc_time *t)

Completed in 96 milliseconds