Searched refs:rtc_write_extended (Results 1 - 4 of 4) sorted by relevance

/barrelfish-2018-10-04/kernel/include/arch/x86/
H A Drtc.h36 void rtc_write_extended(int addr, uint8_t b);
/barrelfish-2018-10-04/usr/drivers/rtc/
H A Drtc.h36 extern void rtc_write_extended(int addr, uint8_t b);
H A Drtc.c37 void rtc_write_extended(int addr, uint8_t b) function
/barrelfish-2018-10-04/kernel/arch/x86/
H A Drtc.c36 void rtc_write_extended(int addr, uint8_t b) function

Completed in 40 milliseconds