Symbol: riscv_ipi_have_virq_range