Index: kernel/arch/ia64/include/arch/context_struct.h
===================================================================
--- kernel/arch/ia64/include/arch/context_struct.h	(revision cc74cb5c5f69f9cd7b915a29908ded2daedb158d)
+++ kernel/arch/ia64/include/arch/context_struct.h	(revision 5cef3159956158dfd0a955f1af5bd8240db878b9)
@@ -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 cc74cb5c5f69f9cd7b915a29908ded2daedb158d)
+++ kernel/arch/ia64/include/arch/fpu_context.h	(revision 5cef3159956158dfd0a955f1af5bd8240db878b9)
@@ -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 cc74cb5c5f69f9cd7b915a29908ded2daedb158d)
+++ kernel/arch/ia64/include/arch/istate_struct.h	(revision 5cef3159956158dfd0a955f1af5bd8240db878b9)
@@ -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 cc74cb5c5f69f9cd7b915a29908ded2daedb158d)
+++ kernel/arch/ia64/include/arch/register.h	(revision 5cef3159956158dfd0a955f1af5bd8240db878b9)
@@ -165,4 +165,6 @@
 #ifndef __ASSEMBLER__
 
+#include <stdint.h>
+
 /** Processor Status Register. */
 typedef union {