update

[l4.git] / l4 / pkg / l4sys / include / __kip-64bit.h

diff --git a/l4/pkg/l4sys/include/__kip-64bit.h b/l4/pkg/l4sys/include/__kip-64bit.h
index 534985f98a4a4e402743839ad196bdefc4a769a7..257183983562b9e429d90e8302db843ade93aa6f 100644 (file)
--- a/l4/pkg/l4sys/include/__kip-64bit.h
+++ b/l4/pkg/l4sys/include/__kip-64bit.h
@@ -141,37 +141,23 @@ typedef struct l4_kernel_info_t
 
   /* offset 0x140 */
   volatile l4_cpu_time_t clock;               ///< L4 system clock (µs)
-  volatile l4_cpu_time_t switch_time;         /**< timestamp of last l4 thread
-                                               **  switch (cycles)
-                                               **  - only valid if
-                                               **    FINE_GRAINED_CPU_TIME is
-                                               **    available
-                                               **/
+  l4_umword_t            _res05[1];           ///< reserved \internal
 
   /* offset 0x160 */
   l4_umword_t            frequency_cpu;       ///< CPU frequency in kHz
   l4_umword_t            frequency_bus;       ///< Bus frequency
-  volatile l4_cpu_time_t thread_time;         /**< accumulated thread time for
-                                               ** currently running thread at
-                                               ** last l4 thread switch (in
-                                               ** cycles)
-                                               **  - only valid if
-                                               **    FINE_GRAINED_CPU_TIME is
-                                               **    available
-                                               **/
 
-  /* offset 0x180 */
-  l4_umword_t            _res05[4];           ///< reserved \internal
+  /* offset 0x178 */
+  l4_umword_t            _res06[5];           ///< reserved \internal
 
   /* offset 0x1A0 */
-  l4_umword_t            _res06[4];           ///< reserved \internal
+  l4_umword_t            _res07[4];           ///< reserved \internal
 
   /* offset 0x1C0 */
   l4_umword_t           user_ptr;            ///< user_ptr
   l4_umword_t           vhw_offset;          ///< offset to vhw structure
-  l4_umword_t            __res06[2];
+  l4_umword_t            _res08[2];
 
   /* offset 0x1E0 */
-  struct l4_kip_kernel_uart_info kernel_uart_info;
   struct l4_kip_platform_info    platform_info;
 } l4_kernel_info_t;