Searched refs:idle_vcpu (Results 1 – 11 of 11) sorted by relevance
338 const struct vcpu *v = idle_vcpu[cpu]; in get_cpu_idle_time()2711 if ( idle_vcpu[cpu] == NULL ) in cpu_schedule_up()2712 vcpu_create(idle_vcpu[0]->domain, cpu); in cpu_schedule_up()2714 idle_vcpu[cpu]->sched_unit->res = sr; in cpu_schedule_up()2716 if ( idle_vcpu[cpu] == NULL ) in cpu_schedule_up()2727 sr->curr = idle_vcpu[cpu]->sched_unit; in cpu_schedule_up()2960 BUG_ON(nr_cpu_ids > ARRAY_SIZE(idle_vcpu)); in scheduler_init()2961 idle_domain->vcpu = idle_vcpu; in scheduler_init()3007 idle = idle_vcpu[cpu]; in schedule_cpu_add()3053 master_unit = idle_vcpu[cpu]->sched_unit; in schedule_cpu_add()[all …]
348 set_current(idle_vcpu[cpuid]); in start_secondary()432 init_data.stack = idle_vcpu[cpu]->arch.stack; in __cpu_up()
86 set_current(idle_vcpu[0]); in init_idle_domain()984 memcpy(idle_vcpu[0]->arch.cpu_info, get_cpu_info(), in start_xen()986 switch_stack_and_jump(idle_vcpu[0]->arch.cpu_info, init_done); in start_xen()
396 if ( idle_vcpu[0] ) in tboot_shutdown()397 write_ptbase(idle_vcpu[0]); in tboot_shutdown()
765 = idle_vcpu[smp_processor_id()]->arch.xsave_area; in read_bndcfgu()798 struct vcpu *v = idle_vcpu[smp_processor_id()]; in xstate_set_init()
51 if ( (v = idle_vcpu[smp_processor_id()]) == current ) in mapcache_current_vcpu()
332 set_current(idle_vcpu[cpu]); in start_secondary()333 this_cpu(curr_vcpu) = idle_vcpu[cpu]; in start_secondary()
292 set_current(idle_vcpu[0]); in init_idle_domain()
1868 ASSERT(current == idle_vcpu[smp_processor_id()]); in __sync_local_execstate()
554 extern struct vcpu *idle_vcpu[NR_CPUS];
81 struct vcpu *idle_vcpu[NR_CPUS] __read_mostly; variable
Completed in 34 milliseconds