diff --git a/hypervisor/arch/x86/cpu.c b/hypervisor/arch/x86/cpu.c
index cd9b1ee68..b921d5f74 100644
--- a/hypervisor/arch/x86/cpu.c
+++ b/hypervisor/arch/x86/cpu.c
@@ -701,7 +701,6 @@ void cpu_dead(uint16_t pcpu_id)
 	}
 
 	/* clean up native stuff */
-	timer_cleanup();
 	vmx_off(pcpu_id);
 	cache_flush_invalidate_all();
 
diff --git a/hypervisor/arch/x86/timer.c b/hypervisor/arch/x86/timer.c
index d4f69604a..325aa72c3 100644
--- a/hypervisor/arch/x86/timer.c
+++ b/hypervisor/arch/x86/timer.c
@@ -188,15 +188,6 @@ void timer_init(void)
 	init_tsc_deadline_timer();
 }
 
-void timer_cleanup(void)
-{
-	uint16_t pcpu_id = get_cpu_id();
-
-	if (pcpu_id == BOOT_CPU_ID) {
-		free_irq(TIMER_IRQ);
-	}
-}
-
 void check_tsc(void)
 {
 	uint64_t temp64;
diff --git a/hypervisor/include/arch/x86/timer.h b/hypervisor/include/arch/x86/timer.h
index 5565f2abc..9e3733a8b 100644
--- a/hypervisor/include/arch/x86/timer.h
+++ b/hypervisor/include/arch/x86/timer.h
@@ -60,7 +60,6 @@ int add_timer(struct hv_timer *timer);
 void del_timer(struct hv_timer *timer);
 
 void timer_init(void);
-void timer_cleanup(void);
 void check_tsc(void);
 void calibrate_tsc(void);