From b1c0dce7bb2a66c46c8fd7331749b95e4fc7dc14 Mon Sep 17 00:00:00 2001 From: Jan Stoess Date: Fri, 7 Dec 2007 19:33:27 +0100 Subject: [PATCH] - Don't trace switches from/to the KDB tcb --- kernel/src/glue/v4-x86/x32/tcb.h | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/kernel/src/glue/v4-x86/x32/tcb.h b/kernel/src/glue/v4-x86/x32/tcb.h index 4772e3cc..d356aa66 100644 --- a/kernel/src/glue/v4-x86/x32/tcb.h +++ b/kernel/src/glue/v4-x86/x32/tcb.h @@ -123,7 +123,14 @@ INLINE void tcb_t::switch_to(tcb_t * dest) /* modify stack in tss */ tss.set_esp0((u32_t)dest->get_stack_top()); - tbuf_record_event (1, 0, "switch %t => %t", (word_t)this, (word_t)dest); +#if 0 + TRACEF("\ncurr=%t (sp=%p, pdc=%p, spc=%p)\ndest=%t (sp=%p, pdc=%p, spc=%p)\n", + this, this->stack, this->pdir_cache, this->space, + dest, dest->stack, dest->pdir_cache, dest->space); +#endif + + if (this != get_kdebug_tcb() && dest != get_kdebug_tcb()) + tbuf_record_event (1, 0, "switch %t => %t", (word_t)this, (word_t)dest); #ifdef CONFIG_SMP active_cpu_space.set(get_cpu(), dest->space);