arm: FSR is 14 bits in newer arm versions, not 12

828a1e57 · Adrian Danis · 3d100f43 · 828a1e57
Commit 828a1e57 authored 10 years ago by Adrian Danis
--- a/include/arch/arm/arch/object/structures.bf
+++ b/include/arch/arm/arch/object/structures.bf
@@ -351,9 +351,9 @@ block cap_fault {

 block vm_fault {
    field address 32
-    field FSR 12
+    field FSR 14
    field instructionFault 1
-    padding 16
+    padding 14
    field faultType 3
 }