diff --git a/Libraries/Cordio/platform/targets/maxim/max32665/sources/pal_timer.c b/Libraries/Cordio/platform/targets/maxim/max32665/sources/pal_timer.c
index b991dfef494..4c099b04c45 100644
--- a/Libraries/Cordio/platform/targets/maxim/max32665/sources/pal_timer.c
+++ b/Libraries/Cordio/platform/targets/maxim/max32665/sources/pal_timer.c
@@ -317,7 +317,7 @@ void PalTimerDeInit(void)
 /*************************************************************************************************/
 /*!
  *  \brief      Return scheduler timer state.
-
+ 
  */
 /*************************************************************************************************/
 void PalTimerExecCallback(void)
@@ -359,9 +359,6 @@ void PalTimerStart(uint32_t expUsec)
 
     /* Convert the time based on our calibration */
     expUsec += (expUsec / PAL_TMR_CALIB_TIME_US) * palTimerCb.usecDiff;
-    expUsec += ((((int32_t)expUsec % PAL_TMR_CALIB_TIME_US) * palTimerCb.usecDiff) /
-                PAL_TMR_CALIB_TIME_US);
-
 #if defined(USE_SHARED_WUT)
     PalSysSetBusy();
     uint64_t volatile compareValue;
diff --git a/Libraries/Cordio/platform/targets/maxim/max32690/sources/pal_timer.c b/Libraries/Cordio/platform/targets/maxim/max32690/sources/pal_timer.c
index 08c48db9a4d..28397324f89 100644
--- a/Libraries/Cordio/platform/targets/maxim/max32690/sources/pal_timer.c
+++ b/Libraries/Cordio/platform/targets/maxim/max32690/sources/pal_timer.c
@@ -266,7 +266,7 @@ void PalTimerDeInit(void)
 /*************************************************************************************************/
 /*!
  *  \brief      Return scheduler timer state.
-
+ 
  */
 /*************************************************************************************************/
 void PalTimerExecCallback(void)
@@ -309,8 +309,6 @@ void PalTimerStart(uint32_t expUsec)
 
     /* Convert the time based on our calibration */
     expUsec += (expUsec / PAL_TMR_CALIB_TIME) * palTimerCb.usecDiff;
-    expUsec +=
-        ((((int32_t)expUsec % PAL_TMR_CALIB_TIME) * palTimerCb.usecDiff) / PAL_TMR_CALIB_TIME);
 
     /* Convert the start time to ticks */
     MXC_TMR_SetCount(PAL_TMR, 0);