Signed-off-by: juergen.gross@xxxxxxxxxxxxxx diff -r 93410e5e4ad8 xen/common/schedule.c --- a/xen/common/schedule.c Sat May 22 06:36:41 2010 +0100 +++ b/xen/common/schedule.c Tue May 25 15:45:51 2010 +0200 @@ -1011,10 +1011,6 @@ static void schedule(void) update_vcpu_system_time(next); vcpu_periodic_timer_work(next); - TRACE_4D(TRC_SCHED_SWITCH, - prev->domain->domain_id, prev->vcpu_id, - next->domain->domain_id, next->vcpu_id); - context_switch(prev, next); } diff -r 93410e5e4ad8 xen/include/xen/sched.h --- a/xen/include/xen/sched.h Sat May 22 06:36:41 2010 +0100 +++ b/xen/include/xen/sched.h Tue May 25 15:45:51 2010 +0200 @@ -622,7 +622,6 @@ extern enum cpufreq_controller { struct cpupool *cpupool_create(int poolid, char *sched); int cpupool_destroy(struct cpupool *c); -int cpupool_assign_ncpu(struct cpupool *c, int ncpu); int cpupool_add_domain(struct domain *d, int poolid); void cpupool_rm_domain(struct domain *d); int cpupool_do_sysctl(struct xen_sysctl_cpupool_op *op);