riscv_ipi_set_virq_range - Linux

Symbol: riscv_ipi_set_virq_range

arch/riscv/include/asm/smp.h

void riscv_ipi_set_virq_range(int virq, int nr);

arch/riscv/kernel/sbi-ipi.c

riscv_ipi_set_virq_range(virq, BITS_PER_BYTE);

drivers/clocksource/timer-clint.c

riscv_ipi_set_virq_range(rc, BITS_PER_BYTE);

drivers/irqchip/irq-aclint-sswi.c

riscv_ipi_set_virq_range(virq, BITS_PER_BYTE);

drivers/irqchip/irq-riscv-imsic-early.c

riscv_ipi_set_virq_range(virq, IMSIC_NR_IPI);