dc_interrupt_to_irq_source
dc_interrupt_to_irq_source(dc, i + 1, 0);
dc_interrupt_to_irq_source(dc, i, 0);
dc_interrupt_to_irq_source(dc, i, 0);
dc_interrupt_to_irq_source(dc, i, 0);
dc_interrupt_to_irq_source(dc, i, 0);
dc_interrupt_to_irq_source(dc, i, 0);
dc_interrupt_to_irq_source(dc, vrtl_int_srcid[i], 0);
dc_interrupt_to_irq_source(dc, i, 0);
dc_interrupt_to_irq_source(dc, i, 0);
dc_interrupt_to_irq_source(dc, i, 0);
dc_interrupt_to_irq_source(
enum dc_irq_source dc_interrupt_to_irq_source(
dc_interrupt_to_irq_source(irq_service->ctx->dc,