Searched refs:xen_vcpu_setup (Results 1 – 3 of 3) sorted by relevance
18 xen_vcpu_setup(0); in xen_hvm_smp_prepare_boot_cpu()
85 void xen_vcpu_setup(int cpu);
1202 xen_vcpu_setup(cpu); in xen_setup_vcpu_info_placement()