Searched refs:xen_pvh_secondary_vcpu_init (Results 1 – 3 of 3) sorted by relevance
148 void xen_pvh_secondary_vcpu_init(int cpu);
115 xen_pvh_secondary_vcpu_init(cpu); in cpu_bringup_and_idle()
1503 void __ref xen_pvh_secondary_vcpu_init(int cpu) in xen_pvh_secondary_vcpu_init() function