diff --git a/targets/TARGET_Maxim/TARGET_MAX32620C/mxc/mxc_sys.h b/targets/TARGET_Maxim/TARGET_MAX32620C/mxc/mxc_sys.h
index 753fcce180..e96de2a442 100644
--- a/targets/TARGET_Maxim/TARGET_MAX32620C/mxc/mxc_sys.h
+++ b/targets/TARGET_Maxim/TARGET_MAX32620C/mxc/mxc_sys.h
@@ -125,7 +125,7 @@ uint32_t SYS_CPU_GetFreq(void);
  * @returns     E_NO_ERROR if everything is successful
  */
 int SYS_ADC_Init(void);
-  
+
 /**
  * @brief       System level initialization for AES module.
  * @returns     E_NO_ERROR if everything is successful
@@ -240,13 +240,13 @@ int SYS_SPIX_Init(const sys_cfg_spix_t *sys_cfg, uint32_t baud);
  * @brief System level shutdown for SPIX module
  * @returns         E_NO_ERROR if everything is successful
  */
-int SYS_SPIX_Shutdown();
+int SYS_SPIX_Shutdown(void);
 
 /**
  * @brief Get the frequency of the SPIX module source clock
  * @returns         frequency in Hz
  */
-uint32_t SYS_SPIX_GetFreq();
+uint32_t SYS_SPIX_GetFreq(void);
 
 /**
  * @brief System level initialization for SPIS module.
@@ -259,13 +259,13 @@ int SYS_SPIS_Init(const sys_cfg_spix_t *sys_cfg);
  * @brief System level shutdown for SPIS module
  * @returns         E_NO_ERROR if everything is successful
  */
-int SYS_SPIS_Shutdown();
+int SYS_SPIS_Shutdown(void);
 
 /**
  * @brief Get the frequency of the SPIS module source clock
  * @returns         frequency in Hz
  */
-uint32_t SYS_SPIS_GetFreq();
+uint32_t SYS_SPIS_GetFreq(void);
 
 /**
  * @brief System level initialization for OWM module.
@@ -436,7 +436,7 @@ uint32_t SYS_SRAM_GetSize(void);
  * @returns size of Flash in bytes
  */
 uint32_t SYS_FLASH_GetSize(void);
-  
+
 #ifdef __cplusplus
 }
 #endif
diff --git a/targets/TARGET_Maxim/TARGET_MAX32630/mxc/mxc_sys.h b/targets/TARGET_Maxim/TARGET_MAX32630/mxc/mxc_sys.h
index 05babf66c9..9bab2aabcc 100644
--- a/targets/TARGET_Maxim/TARGET_MAX32630/mxc/mxc_sys.h
+++ b/targets/TARGET_Maxim/TARGET_MAX32630/mxc/mxc_sys.h
@@ -92,50 +92,50 @@ typedef struct {
  */
 typedef sys_cfg_t sys_cfg_uart_t;
 
-/** 
+/**
  * Structure type for I2CM System Configuration.
  * @ingroup  i2cm
  */
 typedef sys_cfg_t sys_cfg_i2cm_t;
 
-/** 
- * Structure type for I2CS System Configuration. 
+/**
+ * Structure type for I2CS System Configuration.
  * @ingroup i2cs
  */
 typedef sys_cfg_t sys_cfg_i2cs_t;
 
-/** 
- * Structure type for SPIM System Configuration. 
+/**
+ * Structure type for SPIM System Configuration.
  * @ingroup spim
  */
 typedef sys_cfg_t sys_cfg_spim_t;
 
-/** 
- * Structure type for SPIX System Configuration. 
- * @ingroup spix 
+/**
+ * Structure type for SPIX System Configuration.
+ * @ingroup spix
  */
 typedef sys_cfg_t sys_cfg_spix_t;
 
-/** 
- * Structure type for OWM System Configuration. 
+/**
+ * Structure type for OWM System Configuration.
  * @ingroup owm
  */
 typedef sys_cfg_t sys_cfg_owm_t;
 
-/** 
- * Structure type for Timer System Configuration. 
+/**
+ * Structure type for Timer System Configuration.
  * @ingroup timer
  */
 typedef gpio_cfg_t sys_cfg_tmr_t;
 
-/** 
+/**
  * Structure type for Pulse Train System Configuration.
  * @ingroup pulsetrain
  */
 typedef gpio_cfg_t sys_cfg_pt_t;
 
 /**
- * Structure type for Pulse Train Clock Scale Configuration. 
+ * Structure type for Pulse Train Clock Scale Configuration.
  * @ingroup clkman
  * @ingroup pulsetrain
  */
@@ -168,7 +168,7 @@ uint32_t SYS_CPU_GetFreq(void);
  * @ingroup    adc
  */
 int SYS_ADC_Init(void);
-  
+
 /**
  * @brief      System level initialization for the AES module.
  * @return     #E_NO_ERROR if everything is successful
@@ -299,14 +299,14 @@ int SYS_SPIX_Init(const sys_cfg_spix_t *sys_cfg, uint32_t baud);
  * @return     #E_NO_ERROR if everything is successful
  * @ingroup    spix
  */
-int SYS_SPIX_Shutdown();
+int SYS_SPIX_Shutdown(void);
 
 /**
  * @brief      Get the frequency of the SPIX module source clock
  * @return     frequency in Hz
  * @ingroup    spix
  */
-uint32_t SYS_SPIX_GetFreq();
+uint32_t SYS_SPIX_GetFreq(void);
 
 /**
  * @brief      System level initialization for OWM module.