OS_GetSysClockNORMAL  624 src/utils/os_divers.c 	u64 res = OS_GetSysClockNORMAL();
OS_GetSysClockNORMAL  748 src/utils/os_divers.c 			OS_GetSysClock = OS_GetSysClockNORMAL;