diff --git a/src/drivers/usb/gadget.c b/src/drivers/usb/gadget.c
index 48a83d2..b7aad23 100644
--- a/src/drivers/usb/gadget.c
+++ b/src/drivers/usb/gadget.c
@@ -1,6 +1,6 @@
 /* SPDX-License-Identifier: GPL-2.0-only */
 
-#include <stddef.h>
+#include <stdint.h>
 #include <console/console.h>
 #include <string.h>