Searched refs:xen_pvh_secondary_vcpu_init (Results 1 – 3 of 3) sorted by relevance
151 void xen_pvh_secondary_vcpu_init(int cpu);
112 xen_pvh_secondary_vcpu_init(cpu); in cpu_bringup_and_idle()
1492 void __ref xen_pvh_secondary_vcpu_init(int cpu) in xen_pvh_secondary_vcpu_init() function