IMSIC_NR_IPI
virq = ipi_mux_create(IMSIC_NR_IPI, imsic_ipi_send);
riscv_ipi_set_virq_range(virq, IMSIC_NR_IPI);