update

[l4.git] / l4 / pkg / l4sys / include / ARCH-arm / vm.h

diff --git a/l4/pkg/l4sys/include/ARCH-arm/vm.h b/l4/pkg/l4sys/include/ARCH-arm/vm.h
index fad28c978e047a187989e76095fa9f5c660448b9..2b3c2a0b63371765a74fb2a40aa6504a8cc228d3 100644 (file)
--- a/l4/pkg/l4sys/include/ARCH-arm/vm.h
+++ b/l4/pkg/l4sys/include/ARCH-arm/vm.h
@@ -65,7 +65,7 @@ struct l4_vm_state
 
   l4_umword_t pc;
   l4_umword_t cpsr;
-  
+
   l4_umword_t pending_events;
 
   l4_umword_t cp15_ttbr0;
@@ -79,8 +79,10 @@ struct l4_vm_state
   l4_umword_t cp15_control;
   l4_umword_t cp15_prim_region_remap;
   l4_umword_t cp15_norm_region_remap;
-  l4_umword_t cp15_cid;
-  
+  l4_umword_t cp15_cid;    // banked
+  l4_umword_t cp15_tls[3]; // banked
+  l4_umword_t cp10_fpexc;
+
   l4_umword_t pfs;
   l4_umword_t pfa;
   l4_umword_t exit_reason;