diff --git a/src/device/mmio.c b/src/device/mmio.c
index de8c8d3..b62805a 100644
--- a/src/device/mmio.c
+++ b/src/device/mmio.c
@@ -1,7 +1,9 @@
 /* SPDX-License-Identifier: GPL-2.0-only */
 
 #include <assert.h>
+#include <commonlib/bsd/helpers.h>
 #include <device/mmio.h>
+#include <types.h>
 
 /* Helper functions for various MMIO access patterns. */