Lines Matching refs:BUG_ON
170 BUG_ON(info->type != IRQT_UNBOUND && info->type != type); in xen_irq_info_common_setup()
271 BUG_ON(info == NULL); in ipi_from_irq()
272 BUG_ON(info->type != IRQT_IPI); in ipi_from_irq()
281 BUG_ON(info == NULL); in virq_from_irq()
282 BUG_ON(info->type != IRQT_VIRQ); in virq_from_irq()
291 BUG_ON(info == NULL); in pirq_from_irq()
292 BUG_ON(info->type != IRQT_PIRQ); in pirq_from_irq()
328 BUG_ON(info->type != IRQT_PIRQ); in pirq_needs_eoi_flag()
338 BUG_ON(irq == -1); in bind_evtchn_to_cpu()
470 BUG_ON(info->type != IRQT_PIRQ); in pirq_query_unmask()
522 BUG_ON(info->type != IRQT_PIRQ); in __startup_pirq()
574 BUG_ON(info->type != IRQT_PIRQ); in shutdown_pirq()
640 BUG_ON(info_for_irq(irq)->type == IRQT_UNBOUND); in __unbind_from_irq()
1002 BUG_ON(ret < 0); in bind_virq_to_irq()
1221 BUG_ON(irq < 0); in xen_send_IPI_one()
1241 BUG_ON(!irqs_disabled()); in __xen_evtchn_do_upcall()
1289 BUG_ON(get_evtchn_to_irq(evtchn) != -1); in rebind_evtchn_irq()
1292 BUG_ON(info->type == IRQT_UNBOUND); in rebind_evtchn_irq()
1457 BUG_ON(virq_from_irq(irq) != virq); in restore_cpu_virqs()
1482 BUG_ON(ipi_from_irq(irq) != ipi); in restore_cpu_ipis()
1688 BUG_ON(!evtchn_to_irq); in xen_init_IRQ()