diff --git a/arch/aarch64/processor.hh b/arch/aarch64/processor.hh
index 2646adb68afd55d4e12cfa2b79c8a3daf301adbb..2621fbdce2004bbeb0e8246f806eac359d4af8c0 100644
--- a/arch/aarch64/processor.hh
+++ b/arch/aarch64/processor.hh
@@ -58,8 +58,8 @@ inline u64 ticks()
 
 struct fpu_state {
     __uint128_t vregs[32];
-    unsigned long fpsr;
-    unsigned long fpcr;
+    u32 fpsr;
+    u32 fpcr;
 };
 
 inline void fpu_state_save(fpu_state *s)