ARM_SMCCC_FUNC_NUM
ARM_SMCCC_FUNC_NUM(func_id) >= FFA_MIN_FUNC_NUM &&
ARM_SMCCC_FUNC_NUM(func_id) <= FFA_MAX_FUNC_NUM;
ARM_SMCCC_FUNC_NUM(func_id) <= 0x1f)