void xen_smp_intr_free(unsigned int cpu)
 {
+       kfree(per_cpu(xen_resched_irq, cpu).name);
+       per_cpu(xen_resched_irq, cpu).name = NULL;
        if (per_cpu(xen_resched_irq, cpu).irq >= 0) {
                unbind_from_irqhandler(per_cpu(xen_resched_irq, cpu).irq, NULL);
                per_cpu(xen_resched_irq, cpu).irq = -1;
-               kfree(per_cpu(xen_resched_irq, cpu).name);
-               per_cpu(xen_resched_irq, cpu).name = NULL;
        }
+       kfree(per_cpu(xen_callfunc_irq, cpu).name);
+       per_cpu(xen_callfunc_irq, cpu).name = NULL;
        if (per_cpu(xen_callfunc_irq, cpu).irq >= 0) {
                unbind_from_irqhandler(per_cpu(xen_callfunc_irq, cpu).irq, NULL);
                per_cpu(xen_callfunc_irq, cpu).irq = -1;
-               kfree(per_cpu(xen_callfunc_irq, cpu).name);
-               per_cpu(xen_callfunc_irq, cpu).name = NULL;
        }
+       kfree(per_cpu(xen_debug_irq, cpu).name);
+       per_cpu(xen_debug_irq, cpu).name = NULL;
        if (per_cpu(xen_debug_irq, cpu).irq >= 0) {
                unbind_from_irqhandler(per_cpu(xen_debug_irq, cpu).irq, NULL);
                per_cpu(xen_debug_irq, cpu).irq = -1;
-               kfree(per_cpu(xen_debug_irq, cpu).name);
-               per_cpu(xen_debug_irq, cpu).name = NULL;
        }
+       kfree(per_cpu(xen_callfuncsingle_irq, cpu).name);
+       per_cpu(xen_callfuncsingle_irq, cpu).name = NULL;
        if (per_cpu(xen_callfuncsingle_irq, cpu).irq >= 0) {
                unbind_from_irqhandler(per_cpu(xen_callfuncsingle_irq, cpu).irq,
                                       NULL);
                per_cpu(xen_callfuncsingle_irq, cpu).irq = -1;
-               kfree(per_cpu(xen_callfuncsingle_irq, cpu).name);
-               per_cpu(xen_callfuncsingle_irq, cpu).name = NULL;
        }
 }
 
        char *resched_name, *callfunc_name, *debug_name;
 
        resched_name = kasprintf(GFP_KERNEL, "resched%d", cpu);
+       per_cpu(xen_resched_irq, cpu).name = resched_name;
        rc = bind_ipi_to_irqhandler(XEN_RESCHEDULE_VECTOR,
                                    cpu,
                                    xen_reschedule_interrupt,
        if (rc < 0)
                goto fail;
        per_cpu(xen_resched_irq, cpu).irq = rc;
-       per_cpu(xen_resched_irq, cpu).name = resched_name;
 
        callfunc_name = kasprintf(GFP_KERNEL, "callfunc%d", cpu);
+       per_cpu(xen_callfunc_irq, cpu).name = callfunc_name;
        rc = bind_ipi_to_irqhandler(XEN_CALL_FUNCTION_VECTOR,
                                    cpu,
                                    xen_call_function_interrupt,
        if (rc < 0)
                goto fail;
        per_cpu(xen_callfunc_irq, cpu).irq = rc;
-       per_cpu(xen_callfunc_irq, cpu).name = callfunc_name;
 
        if (!xen_fifo_events) {
                debug_name = kasprintf(GFP_KERNEL, "debug%d", cpu);
+               per_cpu(xen_debug_irq, cpu).name = debug_name;
                rc = bind_virq_to_irqhandler(VIRQ_DEBUG, cpu,
                                             xen_debug_interrupt,
                                             IRQF_PERCPU | IRQF_NOBALANCING,
                if (rc < 0)
                        goto fail;
                per_cpu(xen_debug_irq, cpu).irq = rc;
-               per_cpu(xen_debug_irq, cpu).name = debug_name;
        }
 
        callfunc_name = kasprintf(GFP_KERNEL, "callfuncsingle%d", cpu);
+       per_cpu(xen_callfuncsingle_irq, cpu).name = callfunc_name;
        rc = bind_ipi_to_irqhandler(XEN_CALL_FUNCTION_SINGLE_VECTOR,
                                    cpu,
                                    xen_call_function_single_interrupt,
        if (rc < 0)
                goto fail;
        per_cpu(xen_callfuncsingle_irq, cpu).irq = rc;
-       per_cpu(xen_callfuncsingle_irq, cpu).name = callfunc_name;
 
        return 0;
 
 
 
 void xen_smp_intr_free_pv(unsigned int cpu)
 {
+       kfree(per_cpu(xen_irq_work, cpu).name);
+       per_cpu(xen_irq_work, cpu).name = NULL;
        if (per_cpu(xen_irq_work, cpu).irq >= 0) {
                unbind_from_irqhandler(per_cpu(xen_irq_work, cpu).irq, NULL);
                per_cpu(xen_irq_work, cpu).irq = -1;
-               kfree(per_cpu(xen_irq_work, cpu).name);
-               per_cpu(xen_irq_work, cpu).name = NULL;
        }
 
+       kfree(per_cpu(xen_pmu_irq, cpu).name);
+       per_cpu(xen_pmu_irq, cpu).name = NULL;
        if (per_cpu(xen_pmu_irq, cpu).irq >= 0) {
                unbind_from_irqhandler(per_cpu(xen_pmu_irq, cpu).irq, NULL);
                per_cpu(xen_pmu_irq, cpu).irq = -1;
-               kfree(per_cpu(xen_pmu_irq, cpu).name);
-               per_cpu(xen_pmu_irq, cpu).name = NULL;
        }
 }
 
        char *callfunc_name, *pmu_name;
 
        callfunc_name = kasprintf(GFP_KERNEL, "irqwork%d", cpu);
+       per_cpu(xen_irq_work, cpu).name = callfunc_name;
        rc = bind_ipi_to_irqhandler(XEN_IRQ_WORK_VECTOR,
                                    cpu,
                                    xen_irq_work_interrupt,
        if (rc < 0)
                goto fail;
        per_cpu(xen_irq_work, cpu).irq = rc;
-       per_cpu(xen_irq_work, cpu).name = callfunc_name;
 
        if (is_xen_pmu) {
                pmu_name = kasprintf(GFP_KERNEL, "pmu%d", cpu);
+               per_cpu(xen_pmu_irq, cpu).name = pmu_name;
                rc = bind_virq_to_irqhandler(VIRQ_XENPMU, cpu,
                                             xen_pmu_irq_handler,
                                             IRQF_PERCPU|IRQF_NOBALANCING,
                if (rc < 0)
                        goto fail;
                per_cpu(xen_pmu_irq, cpu).irq = rc;
-               per_cpu(xen_pmu_irq, cpu).name = pmu_name;
        }
 
        return 0;