Searched refs:idle_vcpu (Results 1 – 16 of 16) sorted by relevance
304 set_current(idle_vcpu[cpuid]); in start_secondary()388 init_data.stack = idle_vcpu[cpu]->arch.stack; in __cpu_up()
75 set_current(idle_vcpu[0]); in init_idle_domain()717 idle_vcpu[0] = current; in start_xen()886 memcpy(idle_vcpu[0]->arch.cpu_info, get_cpu_info(), in start_xen()888 switch_stack_and_jump(idle_vcpu[0]->arch.cpu_info, init_done); in start_xen()
216 struct vcpu *v = idle_vcpu[cpu]; in get_cpu_idle_time()1546 sd->curr = idle_vcpu[cpu]; in cpu_schedule_up()1554 if ( idle_vcpu[cpu] == NULL ) in cpu_schedule_up()1555 alloc_vcpu(idle_vcpu[0]->domain, cpu, cpu); in cpu_schedule_up()1558 struct vcpu *idle = idle_vcpu[cpu]; in cpu_schedule_up()1577 if ( idle_vcpu[cpu] == NULL ) in cpu_schedule_up()1600 SCHED_OP(sched, free_vdata, idle_vcpu[cpu]->sched_priv); in cpu_schedule_down()1602 idle_vcpu[cpu]->sched_priv = NULL; in cpu_schedule_down()1725 idle_domain->vcpu = idle_vcpu; in scheduler_init()1782 idle = idle_vcpu[cpu]; in schedule_cpu_switch()
50 #define IDLETASK(cpu) (idle_vcpu[cpu])670 idle_vcpu[cpu]->sched_priv = vdata; in a653_switch_sched()
415 idle_vcpu[cpu]->sched_priv = vdata; in null_switch_sched()754 ret.task = idle_vcpu[cpu]; in null_schedule()802 ret.task = idle_vcpu[cpu]; in null_schedule()
779 idle_vcpu[cpu]->sched_priv = vdata; in rt_switch_sched()1132 snext = rt_vcpu(idle_vcpu[cpu]); in rt_schedule()1138 snext = rt_vcpu(idle_vcpu[cpu]); in rt_schedule()
625 idle_vcpu[cpu]->sched_priv = vdata; in csched_switch_sched()1958 snext = CSCHED_VCPU(idle_vcpu[cpu]); in csched_schedule()
3336 snext = csched2_vcpu(idle_vcpu[cpu]); in runq_candidate()3517 snext = csched2_vcpu(idle_vcpu[cpu]); in csched2_schedule()3856 idle_vcpu[cpu]->sched_priv = vdata; in csched2_switch_sched()
74 struct vcpu *idle_vcpu[NR_CPUS] __read_mostly; variable
748 = idle_vcpu[smp_processor_id()]->arch.xsave_area; in read_bndcfgu()781 struct vcpu *v = idle_vcpu[smp_processor_id()]; in xstate_set_init()
309 set_current(idle_vcpu[cpu]); in start_secondary()310 this_cpu(curr_vcpu) = idle_vcpu[cpu]; in start_secondary()
51 if ( (v = idle_vcpu[smp_processor_id()]) == current ) in mapcache_current_vcpu()
393 write_ptbase(idle_vcpu[0]); in tboot_shutdown()
250 set_current(idle_vcpu[0]); in init_idle_domain()679 idle_vcpu[0] = current; in __start_xen()
1775 ASSERT(current == idle_vcpu[smp_processor_id()]); in __sync_local_execstate()
493 extern struct vcpu *idle_vcpu[NR_CPUS];
Completed in 44 milliseconds