diff --git a/src/drivers/usb/ehci_debug.c b/src/drivers/usb/ehci_debug.c
index e5841d7da0..07d87ae6c5 100644
--- a/src/drivers/usb/ehci_debug.c
+++ b/src/drivers/usb/ehci_debug.c
@@ -1,6 +1,6 @@
 /* SPDX-License-Identifier: GPL-2.0-only */
 
-#include <stddef.h>
+#include <stdint.h>
 #include <console/console.h>
 #include <console/usb.h>
 #include <arch/io.h>