secc
/
l4ka-pistachio
mirror of https://github.com/l4ka/pistachio.git
2
0
Fork 0
Code Issues Projects Releases Wiki Activity

- Don't trace switches from/to the KDB tcb

This commit is contained in:
Jan Stoess 2007-12-07 19:33:27 +01:00
parent fd85699ac6
commit b1c0dce7bb
1 changed files with 8 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
kernel/src/glue/v4-x86/x32/tcb.h
View File

@ -123,7 +123,14 @@ INLINE void tcb_t::switch_to(tcb_t * dest)
/* modify stack in tss */ /* modify stack in tss */
tss.set_esp0((u32_t)dest->get_stack_top()); 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 #ifdef CONFIG_SMP
active_cpu_space.set(get_cpu(), dest->space); active_cpu_space.set(get_cpu(), dest->space);