ARM_SMCCC_TYPE_SHIFT
((smc_val) & (ARM_SMCCC_FAST_CALL << ARM_SMCCC_TYPE_SHIFT))
(((type) << ARM_SMCCC_TYPE_SHIFT) | \
((smc_val) & (ARM_SMCCC_FAST_CALL << ARM_SMCCC_TYPE_SHIFT))
(((type) << ARM_SMCCC_TYPE_SHIFT) | \