#include <ppc/asm.h>
#include <ppc/thread_act.h>
#include <ppc/vmachmon.h>
+#include <ppc/low_trace.h>
#include <sys/kdebug.h>
#endif
if (branch_tracing_enabled())
per_proc_info[cpu_number()].cpu_flags |= traceBE;
+
+ if(trcWork.traceMask) dbgTrace(0x12345678, (unsigned int)old->top_act, (unsigned int)new->top_act); /* Cut trace entry if tracing */
+
return;
}