diff --git a/lib/sbi/sbi_ecall.c b/lib/sbi/sbi_ecall.c index 913e8db2..785786f2 100644 --- a/lib/sbi/sbi_ecall.c +++ b/lib/sbi/sbi_ecall.c @@ -103,6 +103,7 @@ int sbi_ecall_base_handler(struct sbi_scratch *scratch, break; case SBI_EXT_BASE_PROBE_EXT: ret = sbi_check_extension(scratch, args[0], out_val); + break; default: ret = SBI_ENOTSUPP; }