update

[l4.git] / kernel / fiasco / src / kern / arm / vm.cpp

diff --git a/kernel/fiasco/src/kern/arm/vm.cpp b/kernel/fiasco/src/kern/arm/vm.cpp
index 43ec7d9ac59e7a368de152184939b9776d0c4ff8..f92b42a5a49cd500130108cf2fe3af36ff0e0179 100644 (file)
--- a/kernel/fiasco/src/kern/arm/vm.cpp
+++ b/kernel/fiasco/src/kern/arm/vm.cpp
@@ -59,7 +59,9 @@ class Vm : public Kobject, public Ref_cnt_obj
       Mword cp15_prim_region_remap;
       Mword cp15_norm_region_remap;
       Mword cp15_cid;
-     
+      Mword cp15_tls[3];
+      Mword cp10_fpexc;
+
       Mword pfs;
       Mword pfa;
       Mword exit_reason;