/* Get maximum firmware image us_size able to be stored.  */
uint32_t hal_get_max_fw_size(void)
/* Get maximum firmware image us_size able to be stored.  */
uint32_t hal_get_max_fw_size(void)
{
	return HAL_FU_MAXIMUM_FIRMW_SIZE;
}