--- a/src/arch/x86/include/arch/mmio.h	2020-05-20 14:43:31.750138013 +0200
+++ b/src/arch/x86/include/arch/mmio.h	2020-05-20 14:43:13.438137399 +0200
@@ -4,6 +4,7 @@
 #define __ARCH_MMIO_H__

 #include <stdint.h>
+#define __always_inline  inline __attribute__((always_inline))

 static __always_inline uint8_t read8(
 	const volatile void *addr)
