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

/barrelfish-2018-10-04/kernel/include/arch/x86/
H A Drtc.h33 void rtc_read(struct rtc_time *t);
/barrelfish-2018-10-04/usr/drivers/rtc/
H A Drtc.h40 extern void rtc_read(struct rtc_time *t);
H A Dmain.c34 rtc_read(&time);
H A Drtc.c68 void rtc_read(struct rtc_time *t) function
/barrelfish-2018-10-04/kernel/arch/x86/
H A Drtc.c61 void rtc_read(struct rtc_time *t) function

Completed in 39 milliseconds