Index: kernel/arch/ia64/include/arch/context_struct.h
===================================================================
--- kernel/arch/ia64/include/arch/context_struct.h	(revision 10d65d70906a865fb116576edc88e47ab61a5fb4)
+++ kernel/arch/ia64/include/arch/context_struct.h	(revision 174156fd1cf321a6363777352073d05829467b2f)
@@ -78,4 +78,5 @@
 
 #include <typedefs.h>
+#include <_bits/int128_t.h>
 
 // Only save registers that must be preserved across function calls.
Index: kernel/arch/ia64/include/arch/fpu_context.h
===================================================================
--- kernel/arch/ia64/include/arch/fpu_context.h	(revision 10d65d70906a865fb116576edc88e47ab61a5fb4)
+++ kernel/arch/ia64/include/arch/fpu_context.h	(revision 174156fd1cf321a6363777352073d05829467b2f)
@@ -38,5 +38,5 @@
 #define FPU_CONTEXT_ALIGN 16
 
-#include <stdint.h>
+#include <_bits/int128_t.h>
 
 #define FRS 96
Index: kernel/arch/ia64/include/arch/istate_struct.h
===================================================================
--- kernel/arch/ia64/include/arch/istate_struct.h	(revision 10d65d70906a865fb116576edc88e47ab61a5fb4)
+++ kernel/arch/ia64/include/arch/istate_struct.h	(revision 174156fd1cf321a6363777352073d05829467b2f)
@@ -87,4 +87,5 @@
 
 #include <stdint.h>
+#include <_bits/int128_t.h>
 
 #ifdef KERNEL
Index: kernel/arch/ia64/include/arch/register.h
===================================================================
--- kernel/arch/ia64/include/arch/register.h	(revision 10d65d70906a865fb116576edc88e47ab61a5fb4)
+++ kernel/arch/ia64/include/arch/register.h	(revision 174156fd1cf321a6363777352073d05829467b2f)
@@ -165,4 +165,6 @@
 #ifndef __ASSEMBLER__
 
+#include <stdint.h>
+
 /** Processor Status Register. */
 typedef union {