130 static __maybe_unused TEE_Result pos_from_dt(uint32_t otp_id[HUK_NB_OTP])  in pos_from_dt()
147 		otp_id[i] = otp_start + i;  in pos_from_dt()
152 static TEE_Result get_otp_pos(uint32_t otp_id[HUK_NB_OTP])  in get_otp_pos()
155 	return pos_from_dt(otp_id);  in get_otp_pos()
163 	otp_id[0] = CFG_STM32MP15_HUK_BSEC_KEY_0;  in get_otp_pos()
164 	otp_id[1] = CFG_STM32MP15_HUK_BSEC_KEY_1;  in get_otp_pos()
165 	otp_id[2] = CFG_STM32MP15_HUK_BSEC_KEY_2;  in get_otp_pos()
166 	otp_id[3] = CFG_STM32MP15_HUK_BSEC_KEY_3;  in get_otp_pos()
175 	uint32_t otp_id[HUK_NB_OTP] = { };  in tee_otp_get_hw_unique_key()  local
182 	ret = get_otp_pos(otp_id);  in tee_otp_get_hw_unique_key()
187 		ret = stm32mp15_read_otp(otp_id[i], key++, &lock);  in tee_otp_get_hw_unique_key()