Searched refs:vcpu_create (Results 1 – 8 of 8) sorted by relevance
/xen/xen/include/xen/ |
A D | domain.h | 16 struct vcpu *vcpu_create(struct domain *d, unsigned int vcpu_id);
|
/xen/xen/arch/x86/ |
A D | dom0_build.c | 251 return vcpu_create(dom0, 0); in alloc_dom0_vcpu0()
|
/xen/xen/arch/arm/ |
A D | domain_build.c | 85 return vcpu_create(dom0, 0); in alloc_dom0_vcpu0() 2403 if ( vcpu_create(d, i) == NULL ) in construct_domain() 2440 if ( vcpu_create(d, 0) == NULL ) in construct_domU()
|
/xen/xen/common/sched/ |
A D | core.c | 2712 vcpu_create(idle_vcpu[0]->domain, cpu); in cpu_schedule_up() 2963 if ( vcpu_create(idle_domain, 0) == NULL ) in scheduler_init() 3326 vcpu_create(d, i); in sched_setup_dom0_vcpus()
|
/xen/xen/common/ |
A D | domctl.c | 552 if ( vcpu_create(d, i) == NULL ) in do_domctl()
|
A D | domain.c | 138 struct vcpu *vcpu_create(struct domain *d, unsigned int vcpu_id) in vcpu_create() function
|
/xen/xen/arch/x86/mm/ |
A D | mem_sharing.c | 1562 if ( !vcpu_create(cd, i) ) in bring_up_vcpus()
|
/xen/tools/xentrace/ |
A D | xenalyze.c | 6645 struct vcpu_data * vcpu_create(struct domain_data *d, int vid) in vcpu_create() function 6740 v = vcpu_create(d, vid); in vcpu_find() 7325 v = vcpu_create(&default_domain, p->pid); in sched_default_vcpu_activate()
|
Completed in 40 milliseconds