Index: kernel/arch/riscv64/include/arch/istate_struct.ag
===================================================================
--- kernel/arch/riscv64/include/arch/istate_struct.ag	(revision 8b6aa3923668ec2fbb91e100c43265f2f32fe31c)
+++ kernel/arch/riscv64/include/arch/istate_struct.ag	(revision 8d2dd7f2d52fbc7693f94b66e451eeff3756d061)
@@ -37,5 +37,5 @@
                 {
                         negative-guard: KERNEL,
-                        include : <sys/types.h>
+                        include : <stdint.h>
                 }
         ],