Symbol: riscv_intc_intr_disestablish
sys/arch/riscv64/dev/riscv_cpu_intc.c
47
void riscv_intc_intr_disestablish(void *);
sys/arch/riscv64/dev/riscv_cpu_intc.h
24
void riscv_intc_intr_disestablish(void *cookie);