Symbol: SBI_BASE_GET_MARCHID
sys/riscv/riscv/sbi.c
91
return (SBI_CALL0(SBI_EXT_ID_BASE, SBI_BASE_GET_MARCHID));
usr.sbin/bhyve/riscv/vmexit.c
263
case SBI_BASE_GET_MARCHID: