info->cpu = cpu;
 }
 
+static void xen_evtchn_mask_all(void)
+{
+       unsigned int evtchn;
+
+       for (evtchn = 0; evtchn < xen_evtchn_nr_channels(); evtchn++)
+               mask_evtchn(evtchn);
+}
+
 /**
  * notify_remote_via_irq - send event to remote end of event channel via irq
  * @irq: irq of event channel to send event to
 
 void xen_irq_resume(void)
 {
-       unsigned int cpu, evtchn;
+       unsigned int cpu;
        struct irq_info *info;
 
        /* New event-channel space is not 'live' yet. */
-       for (evtchn = 0; evtchn < xen_evtchn_nr_channels(); evtchn++)
-               mask_evtchn(evtchn);
+       xen_evtchn_mask_all();
 
        /* No IRQ <-> event-channel mappings. */
        list_for_each_entry(info, &xen_irq_list_head, list)
 
 void __init xen_init_IRQ(void)
 {
-       int i;
-
        xen_evtchn_2l_init();
 
        evtchn_to_irq = kcalloc(EVTCHN_ROW(xen_evtchn_max_channels()),
        BUG_ON(!evtchn_to_irq);
 
        /* No event channels are 'live' right now. */
-       for (i = 0; i < xen_evtchn_nr_channels(); i++)
-               mask_evtchn(i);
+       xen_evtchn_mask_all();
 
        pirq_needs_eoi = pirq_needs_eoi_flag;