SBI_HSM_HART_START
ret = SBI_CALL3(SBI_EXT_ID_HSM, SBI_HSM_HART_START, hart, start_addr,
case SBI_HSM_HART_START: