SBI_EXT_ID_HSM
if (sbi_probe_extension(SBI_EXT_ID_HSM) != 0)
if (sbi_probe_extension(SBI_EXT_ID_HSM) != 0) {
ret = SBI_CALL3(SBI_EXT_ID_HSM, SBI_HSM_HART_START, hart, start_addr,
(void)SBI_CALL0(SBI_EXT_ID_HSM, SBI_HSM_HART_STOP);
ret = SBI_CALL1(SBI_EXT_ID_HSM, SBI_HSM_HART_STATUS, hart);
case SBI_EXT_ID_HSM:
case SBI_EXT_ID_HSM: