Index: kernel/arch/amd64/include/arch/istate_struct.ag
===================================================================
--- kernel/arch/amd64/include/arch/istate_struct.ag	(revision 2c2d54a73f8d98a509aa5049bb9ef840b9bb186c)
+++ kernel/arch/amd64/include/arch/istate_struct.ag	(revision adc68def3235af7963686c2ea574a62fed50a24b)
@@ -36,5 +36,9 @@
                 {
                         negative-guard: KERNEL,
-                        include : <sys/types.h>
+                        include : <stddef.h>
+                },
+                {
+                        negative-guard: KERNEL,
+                        include : <stdint.h>
                 }
         ],