summaryrefslogtreecommitdiff
path: root/src/device/device_util.c
diff options
context:
space:
mode:
Diffstat (limited to 'src/device/device_util.c')
-rw-r--r--src/device/device_util.c3
1 files changed, 2 insertions, 1 deletions
diff --git a/src/device/device_util.c b/src/device/device_util.c
index 6919f4bb39..9beb2ce8e2 100644
--- a/src/device/device_util.c
+++ b/src/device/device_util.c
@@ -1,13 +1,14 @@
/* SPDX-License-Identifier: GPL-2.0-only */
+#include <commonlib/bsd/helpers.h>
#include <console/console.h>
#include <device/device.h>
#include <device/path.h>
#include <device/pci_def.h>
#include <device/resource.h>
-#include <stdbool.h>
#include <stdlib.h>
#include <string.h>
+#include <types.h>
/**
* Given a Local APIC ID, find the device structure.