diff options
| -rw-r--r-- | src/drivers/usb/ehci_debug.c | 2 |
1 files changed, 1 insertions, 1 deletions
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> |