Symbol: sbi_get_marchid
sys/arch/riscv64/riscv64/cpu.c
140
marchid = sbi_get_marchid();
sys/arch/riscv64/riscv64/pmap.c
1241
marchid = sbi_get_marchid();