SBI_EXT_ID_HSM
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);