diff --git a/ports/raspberrypi/common-hal/wifi/Radio.c b/ports/raspberrypi/common-hal/wifi/Radio.c
index ff0549c14d..8073f57063 100644
--- a/ports/raspberrypi/common-hal/wifi/Radio.c
+++ b/ports/raspberrypi/common-hal/wifi/Radio.c
@@ -61,7 +61,7 @@
 #endif
 
 #ifdef LWIP_DEBUG
-static u32_t ping_time;
+static uint32_t ping_time;
 #endif