Symbol: arch_rtc_set_hw_time
headers/private/kernel/arch/real_time_clock.h
23
void arch_rtc_set_hw_time(uint64 seconds);
src/system/kernel/real_time_clock.cpp
61
arch_rtc_set_hw_time(seconds);