Switch to ogc2

src/duskdolphin/time/timedolphin.c

@@ -7,6 +7,9 @@
 
 #include "time/timedolphin.h"
 
+#define SYS_Time __SYS_GetSystemTime
+#define PPCTicksToUs ticks_to_microsecs
+
 double_t timeGetRealDolphin(void) {
   // "Returns time in ticks since 2000"
   u64 timeInUs = PPCTicksToUs(SYS_Time());