};
/* Bitmap indicating which PIRQs require Xen to be notified on unmask. */
-static bool pirq_eoi_does_unmask;
+static int pirq_eoi_does_unmask;
static DECLARE_BITMAP(pirq_needs_eoi, ALIGN(NR_PIRQS, PAGE_SIZE * 8))
__attribute__ ((__section__(".bss.page_aligned"), __aligned__(PAGE_SIZE)));
BUG_ON(!bitmap_empty(pirq_needs_eoi, PAGE_SIZE * 8));
eoi_mfn.mfn = virt_to_bus(pirq_needs_eoi) >> PAGE_SHIFT;
if (HYPERVISOR_physdev_op(PHYSDEVOP_pirq_eoi_mfn, &eoi_mfn) == 0)
- pirq_eoi_does_unmask = true;
+ pirq_eoi_does_unmask = 1;
/* No event channels are 'live' right now. */
for (i = 0; i < NR_EVENT_CHANNELS; i++)