HomeSort by: relevance | last modified time | path
    Searched defs:pending_irqs (Results 1 - 2 of 2) sorted by relevancy

  /src/sys/arch/arm/pic/
pic.c 404 uint32_t pending_irqs; local in function:pic_deliver_irqs
417 pending_irqs = pic_find_pending_irqs_by_ipl(pic, irq_base,
419 KASSERT((pending_irqs & *ipending) == pending_irqs);
420 KASSERT((pending_irqs & ~(*ipending)) == 0);
421 if (pending_irqs == 0) {
447 irq = ffs(pending_irqs) - 1;
468 pending_irqs = pic_find_pending_irqs_by_ipl(pic,
470 } while (pending_irqs);
pic.c 404 uint32_t pending_irqs; local in function:pic_deliver_irqs
417 pending_irqs = pic_find_pending_irqs_by_ipl(pic, irq_base,
419 KASSERT((pending_irqs & *ipending) == pending_irqs);
420 KASSERT((pending_irqs & ~(*ipending)) == 0);
421 if (pending_irqs == 0) {
447 irq = ffs(pending_irqs) - 1;
468 pending_irqs = pic_find_pending_irqs_by_ipl(pic,
470 } while (pending_irqs);

Completed in 191 milliseconds