diff --git a/testhal/NUMICRO/NUC123/NUTINY-SDK-NUC123-V2.0/EFL/main.c b/testhal/NUMICRO/NUC123/NUTINY-SDK-NUC123-V2.0/EFL/main.c
index 3b0e76fb..4445f261 100644
--- a/testhal/NUMICRO/NUC123/NUTINY-SDK-NUC123-V2.0/EFL/main.c
+++ b/testhal/NUMICRO/NUC123/NUTINY-SDK-NUC123-V2.0/EFL/main.c
@@ -16,7 +16,6 @@
 
 #include "hal.h"
 #include "shcfg.h"
-#include "chtrace.h"
 
 
 const SerialConfig shell_serial_cfg = {
@@ -63,7 +62,7 @@ int main(void)
    */
   OnboardLED_Off();
 
-  chDbgSuspendTrace(CH_DBG_TRACE_MASK_SWITCH);
+  chTraceSuspend(CH_DBG_TRACE_MASK_SWITCH);
 
   /*
    * Activates the serial driver.
diff --git a/testhal/NUMICRO/NUC123/NUTINY-SDK-NUC123-V2.0/USB_HID/main.c b/testhal/NUMICRO/NUC123/NUTINY-SDK-NUC123-V2.0/USB_HID/main.c
index da975559..4cafe4ad 100644
--- a/testhal/NUMICRO/NUC123/NUTINY-SDK-NUC123-V2.0/USB_HID/main.c
+++ b/testhal/NUMICRO/NUC123/NUTINY-SDK-NUC123-V2.0/USB_HID/main.c
@@ -16,7 +16,6 @@
 */
 #include "hal.h"
 #include "usbcfg.h"
-#include "chtrace.h"
 
 /*
  * Onboard LED blinker thread, times are in milliseconds.
@@ -56,7 +55,7 @@ int main(void)
    */
   OnboardLED_Off();
 
-  chDbgSuspendTrace(CH_DBG_TRACE_MASK_SWITCH);
+  chTraceSuspend(CH_DBG_TRACE_MASK_SWITCH);
   /*
    * Initializes a USB HID driver.
    */