diff --git a/audio/echo/source/main.c b/audio/echo/source/main.c
index 1d80718..a8fab36 100644
--- a/audio/echo/source/main.c
+++ b/audio/echo/source/main.c
@@ -117,8 +117,8 @@ int main(int argc, char **argv)
         if (kDown & KEY_PLUS) break; // break in order to return to hbmenu
 
         // Wait for audio capture and playback to finish.
-        audinWaitCaptureFinish(&released_in_buffer, &released_in_count, U64_MAX);
-        audoutWaitPlayFinish(&released_out_buffer, &released_out_count, U64_MAX);
+        audinWaitCaptureFinish(&released_in_buffer, &released_in_count, UINT64_MAX);
+        audoutWaitPlayFinish(&released_out_buffer, &released_out_count, UINT64_MAX);
 
         // Copy the captured audio data into the playback buffer.
         if ((released_in_buffer != NULL) && (released_out_buffer != NULL))
@@ -130,11 +130,11 @@ int main(int argc, char **argv)
 
         consoleUpdate(NULL);
     }
-    
+
     // Stop audio capture.
     rc = audinStopAudioIn();
     printf("audinStopAudioIn() returned 0x%x\n", rc);
-    
+
     // Stop audio playback.
     rc = audoutStopAudioOut();
     printf("audoutStopAudioOut() returned 0x%x\n", rc);
@@ -142,7 +142,7 @@ int main(int argc, char **argv)
     // Terminate the default audio devices.
     audinExit();
     audoutExit();
-    
+
     consoleExit(NULL);
     return 0;
 }
diff --git a/graphics/opengl/es2gears/source/main.c b/graphics/opengl/es2gears/source/main.c
index 6ebfa55..a82e061 100644
--- a/graphics/opengl/es2gears/source/main.c
+++ b/graphics/opengl/es2gears/source/main.c
@@ -718,9 +718,9 @@ gears_idle(void)
    static int frames = 0;
    static double tRot0 = -1.0, tRate0 = -1.0;
    double dt, t;
-   static u64 origTicks = U64_MAX;
+   static u64 origTicks = UINT64_MAX;
 
-   if (origTicks == U64_MAX)
+   if (origTicks == UINT64_MAX)
       origTicks = armGetSystemTick();
 
    u64 ticksElapsed = armGetSystemTick() - origTicks;