diff --git a/arch/sim/src/sim/up_simsmp.c b/arch/sim/src/sim/up_simsmp.c
index e91917ff1da..f35d1e2baac 100644
--- a/arch/sim/src/sim/up_simsmp.c
+++ b/arch/sim/src/sim/up_simsmp.c
@@ -51,22 +51,12 @@ struct sim_cpuinfo_s
 static pthread_key_t g_cpu_key;
 static pthread_t     g_cpu_thread[CONFIG_SMP_NCPUS];
 
-static pthread_t     g_timer_thread;
-
 /****************************************************************************
  * NuttX domain function prototypes
  ****************************************************************************/
 
-#ifdef CONFIG_SCHED_INSTRUMENTATION
-void sched_note_cpu_start(struct tcb_s *tcb, int cpu);
-void sched_note_cpu_pause(struct tcb_s *tcb, int cpu);
-void sched_note_cpu_resume(struct tcb_s *tcb, int cpu);
-#endif
-
 void up_irqinitialize(void);
 
-extern uint8_t g_nx_initstate;
-
 /****************************************************************************
  * Private Functions
  ****************************************************************************/
@@ -138,30 +128,6 @@ static void *sim_idle_trampoline(void *arg)
   return NULL;
 }
 
-/****************************************************************************
- * Name: sim_host_timer_handler
- ****************************************************************************/
-
-static void *sim_host_timer_handler(void *arg)
-{
-  /* Wait until OSINIT_OSREADY(5) */
-
-  while (g_nx_initstate < 5)
-    {
-      host_sleep(10 * 1000 * 1000); /* 10ms */
-    }
-
-  /* Send a periodic timer event to CPU0 */
-
-  while (1)
-    {
-      pthread_kill(g_cpu_thread[0], SIGUSR1);
-      host_sleep(10 * 1000 * 1000); /* 10ms */
-    }
-
-  return NULL;
-}
-
 /****************************************************************************
  * Public Functions
  ****************************************************************************/
@@ -202,13 +168,6 @@ void sim_cpu0_start(void)
     {
       return;
     }
-
-  /* NOTE: IRQ initialization will be done in up_irqinitialize */
-
-  /* Create timer thread to send a periodic timer event */
-
-  ret = pthread_create(&g_timer_thread,
-                       NULL, sim_host_timer_handler, NULL);
 }
 
 /****************************************************************************