{
/* Avoid TRACE_*: saves checking !tb_init_done each step */
for_each_cpu(cpu, &mask)
- __trace_var(TRC_CSCHED_TICKLE, 0, sizeof(cpu), &cpu);
+ __trace_var(TRC_CSCHED_TICKLE, 1, sizeof(cpu), &cpu);
}
/* Send scheduler interrupts to designated CPUs */
d.dom = svc->vcpu->domain->domain_id;
d.vcpu = svc->vcpu->vcpu_id;
d.pos = pos;
- trace_var(TRC_CSCHED2_RUNQ_POS, 0,
+ trace_var(TRC_CSCHED2_RUNQ_POS, 1,
sizeof(d),
(unsigned char *)&d);
}
unsigned cpu:16, pad:16;
} d;
d.cpu = ipid; d.pad = 0;
- trace_var(TRC_CSCHED2_TICKLE, 0,
+ trace_var(TRC_CSCHED2_TICKLE, 1,
sizeof(d),
(unsigned char *)&d);
}
*/
if ( tasklet_work_scheduled )
{
- trace_var(TRC_CSCHED2_SCHED_TASKLET, 0, 0, NULL);
+ trace_var(TRC_CSCHED2_SCHED_TASKLET, 1, 0, NULL);
snext = CSCHED2_VCPU(idle_vcpu[cpu]);
}
else
} d;
d.cpu = cpu_to_tickle;
d.pad = 0;
- trace_var(TRC_RTDS_TICKLE, 0,
+ trace_var(TRC_RTDS_TICKLE, 1,
sizeof(d),
(unsigned char *)&d);
}