Symbol: riscv_dflt_splx
sys/arch/riscv64/riscv64/intr.c
42
void riscv_dflt_splx(int);
sys/arch/riscv64/riscv64/intr.c
54
riscv_dflt_splx,