Searched refs:xen_pvh_secondary_vcpu_init (Results 1 – 3 of 3) sorted by relevance
142 void xen_pvh_secondary_vcpu_init(int cpu);
109 xen_pvh_secondary_vcpu_init(cpu); in cpu_bringup_and_idle()
1484 void __ref xen_pvh_secondary_vcpu_init(int cpu) in xen_pvh_secondary_vcpu_init() function