Signed-off-by: Juergen Gross <juergen.gross@ts.fujitsu.com>
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);
}
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);