Index: kernel/arch/ia64/include/arch/istate_struct.ag
===================================================================
--- kernel/arch/ia64/include/arch/istate_struct.ag	(revision 36df41093d27358efd761887622e3076ed51cd14)
+++ kernel/arch/ia64/include/arch/istate_struct.ag	(revision 0e7c3d945e5577b7d3eb35ce33778dfb21249380)
@@ -40,5 +40,9 @@
                 {
                         negative-guard : KERNEL,
-                        include : <sys/types.h>
+                        include : <stddef.h>
+                },
+                {
+                        negative-guard : KERNEL,
+                        include : <stdint.h>
                 },
                 {