diff --git a/port/threadx_smp/CMakeLists.txt b/port/threadx_smp/CMakeLists.txt
index 9bf33f1..0cffc7e 100644
--- a/port/threadx_smp/CMakeLists.txt
+++ b/port/threadx_smp/CMakeLists.txt
@@ -8,7 +8,7 @@ endif()
 
 set(THREADX_SMP_CUSTOM_INC
     ${CMAKE_CURRENT_SOURCE_DIR}/inc
-    ${CMAKE_CURRENT_SOURCE_DIR}/../moonlight
+    ${CMAKE_CURRENT_SOURCE_DIR}/../moonlight #needed for aclint (inter process interrupts)
 )
 set(THREADX_SMP_CUSTOM_SRC
     src/tx_initialize_low_level.S
@@ -22,7 +22,6 @@ set(THREADX_SMP_CUSTOM_SRC
     src/tx_thread_smp_initialize_wait.S
     src/tx_thread_smp_low_level_initialize.S
     src/tx_thread_smp_protect.S
-    src/tx_thread_smp_time_get.c
     src/tx_thread_smp_unprotect.S
     src/tx_thread_stack_build.S
     src/tx_thread_system_return.S
diff --git a/port/threadx_smp/src/tx_thread_smp_time_get.c b/port/threadx_smp/src/tx_thread_smp_time_get.c
deleted file mode 100644
index fd1cb36..0000000
--- a/port/threadx_smp/src/tx_thread_smp_time_get.c
+++ /dev/null
@@ -1,8 +0,0 @@
-#include "platform.h"
-#include "tx_api.h"
-#include <aclint.h>
-
-ULONG _tx_thread_smp_time_get(void)
-{
-    return (ULONG)get_aclint_mtime(aclint);
-}