Symbol: plic_set_priority
sys/arch/riscv64/dev/plic.c
130
void plic_set_priority(int, uint32_t);
sys/arch/riscv64/dev/plic.c
210
plic_set_priority(irq, 0);// Mask interrupt
sys/arch/riscv64/dev/plic.c
725
plic_set_priority(irq, min_pri);
sys/arch/riscv64/dev/plic.c
733
plic_set_priority(irq, 0);