SBI_EXT_BASE_GET_MARCHID - Linux

Symbol: SBI_EXT_BASE_GET_MARCHID

arch/riscv/kernel/sbi.c

return __sbi_base_ecall(SBI_EXT_BASE_GET_MARCHID);

arch/riscv/kvm/vcpu_sbi_base.c

case SBI_EXT_BASE_GET_MARCHID: