update

[l4.git] / kernel / fiasco / src / kern / tcboffset_in.h

diff --git a/kernel/fiasco/src/kern/tcboffset_in.h b/kernel/fiasco/src/kern/tcboffset_in.h
index fb1f69cd67592b4132a8f10d99c6cd8c8d1e5887..3207e05d2a05acd8d49d4b6bab5209fa30d7e925 100644 (file)
--- a/kernel/fiasco/src/kern/tcboffset_in.h
+++ b/kernel/fiasco/src/kern/tcboffset_in.h
@@ -61,10 +61,6 @@
   DUMP_CAST_OFFSET (Thread, Sender)
 
   DUMP_MEMBER1 (KIP, Kip, processor_info,  PROCESSOR_INFO)
-#ifdef CONFIG_IA32
-  DUMP_MEMBER1 (KIP, Kip, switch_time,     SWITCH_TIME)
-  DUMP_MEMBER1 (KIP, Kip, thread_time,     THREAD_TIME)
-#endif
 
   DUMP_CONSTANT (SIZEOF_TRAP_STATE, sizeof(Trap_state))
   DUMP_MEMBER1 (VCPU_STATE, Vcpu_state, _entry_ip, ENTRY_IP)