xen_cpu_dead_pv
WARN_ON(xen_cpuhp_setup(xen_cpu_up_prepare_pv, xen_cpu_dead_pv));
static int xen_cpu_dead_pv(unsigned int cpu);