diff --git a/src/SdCard/Rp2040Sdio/PioDbgInfo.h b/src/SdCard/Rp2040Sdio/PioDbgInfo.h
index 5ec5fa55..4b620372 100644
--- a/src/SdCard/Rp2040Sdio/PioDbgInfo.h
+++ b/src/SdCard/Rp2040Sdio/PioDbgInfo.h
@@ -26,6 +26,9 @@
 #include <Arduino.h>
 
 #include "DbgLog.h"
+
+#include "hardware/pio.h"
+
 //------------------------------------------------------------------------------
 static inline void gpioStatus(uint gpio) {
   logmsgln("gpio", gpio, " drive: ", gpio_get_drive_strength(gpio));