diff --git a/bsp/Infineon/libraries/HAL_Drivers/drv_adc.c b/bsp/Infineon/libraries/HAL_Drivers/drv_adc.c
index cc41856f0e592bd3a58e8c57d6877ba997b161b5..ea37d23fb994624631ab96ac8fd1a2a2764aab36 100644
--- a/bsp/Infineon/libraries/HAL_Drivers/drv_adc.c
+++ b/bsp/Infineon/libraries/HAL_Drivers/drv_adc.c
@@ -57,7 +57,7 @@ static rt_err_t ifx_adc_enabled(struct rt_adc_device *device, rt_uint32_t channe
 
         if (result != RT_EOK)
         {
-            LOG_E("ADC initialization failed. Error: %llu\n", (long unsigned int)result);
+            LOG_E("ADC initialization failed. Error: %u\n", result);
             return -RT_ENOSYS;
         }
 
@@ -67,7 +67,7 @@ static rt_err_t ifx_adc_enabled(struct rt_adc_device *device, rt_uint32_t channe
 
         if (result != RT_EOK)
         {
-            LOG_E("ADC single ended channel initialization failed. Error: %llu\n", (long unsigned int)result);
+            LOG_E("ADC single ended channel initialization failed. Error: %u\n", result);
             return -RT_ENOSYS;
         }
 
@@ -76,7 +76,7 @@ static rt_err_t ifx_adc_enabled(struct rt_adc_device *device, rt_uint32_t channe
 
         if (result != RT_EOK)
         {
-            printf("ADC configuration update failed. Error: %llu\n", (long unsigned int)result);
+            printf("ADC configuration update failed. Error: %u\n", result);
             return -RT_ENOSYS;
         }
     }