IRQT_PIRQ         236 drivers/xen/events/events_base.c 	return xen_irq_info_common_setup(info, irq, IRQT_PIRQ, evtchn, 0);
IRQT_PIRQ         292 drivers/xen/events/events_base.c 	BUG_ON(info->type != IRQT_PIRQ);
IRQT_PIRQ         328 drivers/xen/events/events_base.c 	BUG_ON(info->type != IRQT_PIRQ);
IRQT_PIRQ         462 drivers/xen/events/events_base.c 	BUG_ON(info->type != IRQT_PIRQ);
IRQT_PIRQ         514 drivers/xen/events/events_base.c 	BUG_ON(info->type != IRQT_PIRQ);
IRQT_PIRQ         566 drivers/xen/events/events_base.c 	BUG_ON(info->type != IRQT_PIRQ);
IRQT_PIRQ         591 drivers/xen/events/events_base.c 		if (info->type != IRQT_PIRQ)
IRQT_PIRQ         810 drivers/xen/events/events_base.c 		if (info->type != IRQT_PIRQ)
IRQT_PIRQ        1419 drivers/xen/events/events_base.c 		if (info->type != IRQT_PIRQ)