Symbol: riscv_init_smask
sys/arch/riscv64/dev/riscv_cpu_intc.c
72
riscv_init_smask();
sys/arch/riscv64/include/intr.h
150
void riscv_init_smask(void); /* XXX */