Symbol: arch_rtc_get_hw_time
headers/private/kernel/arch/real_time_clock.h
25
uint64 arch_rtc_get_hw_time(void);
src/system/kernel/real_time_clock.cpp
71
current_time = arch_rtc_get_hw_time();