299         if (IRQ_get_next(opp, &dst->servicing) >= 0 &&  in IRQ_local_pipe()
300                 priority <= dst->servicing.priority) {  in IRQ_local_pipe()
302                     __func__, n_IRQ, dst->servicing.next, n_CPU);  in IRQ_local_pipe()
309         IRQ_get_next(opp, &dst->servicing);  in IRQ_local_pipe()
311                 dst->raised.priority > dst->servicing.priority) {  in IRQ_local_pipe()
314                     dst->ctpr, dst->servicing.priority, n_CPU);  in IRQ_local_pipe()
318                     __func__, n_IRQ, dst->ctpr, dst->servicing.priority, n_CPU);  in IRQ_local_pipe()
1001                 dst->servicing.priority);  in openpic_cpu_write_internal()
1007         } else if (dst->raised.priority > dst->servicing.priority) {  in openpic_cpu_write_internal()
1022         s_IRQ = IRQ_get_next(opp, &dst->servicing);  in openpic_cpu_write_internal()
1029         IRQ_resetbit(&dst->servicing, s_IRQ);  in openpic_cpu_write_internal()
1031         s_IRQ = IRQ_get_next(opp, &dst->servicing);  in openpic_cpu_write_internal()
1037                 IVPR_PRIORITY(src->ivpr) > dst->servicing.priority) {  in openpic_cpu_write_internal()
1081         IRQ_setbit(&dst->servicing, irq);  in openpic_iack()
1301         opp->dst[i].servicing.next = -1;  in openpic_reset()
1302         opp->dst[i].servicing.priority = 0;  in openpic_reset()
1303         bitmap_clear(opp->dst[i].servicing.queue, 0, IRQQUEUE_SIZE_BITS);  in openpic_reset()
1410         VMSTATE_STRUCT(servicing, IRQDest, 0, vmstate_openpic_irq_queue,
1601         opp->dst[i].servicing.queue_size = IRQQUEUE_SIZE_BITS;  in openpic_realize()
1602         opp->dst[i].servicing.queue = bitmap_new(IRQQUEUE_SIZE_BITS);  in openpic_realize()