SCM_SMC_FIRST_REG_IDX
smc.args[i + SCM_SMC_FIRST_REG_IDX] = desc->args[i];
#define SCM_SMC_LAST_REG_IDX (SCM_SMC_FIRST_REG_IDX + SCM_SMC_N_REG_ARGS - 1)