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

/barrelfish-master/kernel/include/arch/x86/
H A Drtc.h39 uint8_t rtc_read_secs(void);
/barrelfish-master/usr/drivers/rtc/
H A Drtc.h41 uint8_t rtc_read_secs(void);
H A Drtc.c97 uint8_t rtc_read_secs(void) function
/barrelfish-master/kernel/arch/x86/
H A Drtc.c87 uint8_t rtc_read_secs(void) function
H A Dtiming.c44 uint8_t start = rtc_read_secs(), now;
46 now = rtc_read_secs();
57 now = rtc_read_secs();

Completed in 26 milliseconds