diff --git a/src/device/resource_allocator_v4.c b/src/device/resource_allocator_v4.c
index 222f1e9..6e4aa5e 100644
--- a/src/device/resource_allocator_v4.c
+++ b/src/device/resource_allocator_v4.c
@@ -1,9 +1,11 @@
 /* SPDX-License-Identifier: GPL-2.0-only */
 
+#include <commonlib/bsd/helpers.h>
 #include <console/console.h>
 #include <device/device.h>
 #include <memrange.h>
 #include <post.h>
+#include <types.h>
 
 static const char *resource2str(const struct resource *res)
 {