pirq_eoi_map       83 drivers/xen/events/events_base.c static unsigned long *pirq_eoi_map;
pirq_eoi_map      321 drivers/xen/events/events_base.c 	return test_bit(pirq_from_irq(irq), pirq_eoi_map);
pirq_eoi_map     1714 drivers/xen/events/events_base.c 		pirq_eoi_map = (void *)__get_free_page(GFP_KERNEL|__GFP_ZERO);
pirq_eoi_map     1715 drivers/xen/events/events_base.c 		eoi_gmfn.gmfn = virt_to_gfn(pirq_eoi_map);
pirq_eoi_map     1718 drivers/xen/events/events_base.c 			free_page((unsigned long) pirq_eoi_map);
pirq_eoi_map     1719 drivers/xen/events/events_base.c 			pirq_eoi_map = NULL;