diff options
| -rw-r--r-- | src/acpi/device.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/acpi/device.c b/src/acpi/device.c index b119abd61f..07e80f5402 100644 --- a/src/acpi/device.c +++ b/src/acpi/device.c @@ -8,6 +8,7 @@ #include <device/device.h> #include <device/path.h> #include <stdlib.h> +#include <types.h> #include <crc_byte.h> #if CONFIG(GENERIC_GPIO_LIB) |