Symbol: riscv_ipi_set_virq_range