SBI_EXT_HSM_HART_STOP
ret = sbi_ecall(SBI_EXT_HSM, SBI_EXT_HSM_HART_STOP, 0, 0, 0, 0, 0, 0);
case SBI_EXT_HSM_HART_STOP: