1 2 3 4 5 6
#include "getcurrentms.h" // original name unknown u32 GetCurrentMilliseconds(void) { return (osGetTime() * 1000ULL) / OS_CPU_COUNTER; }