diff --git a/hypervisor/arch/x86/tsc_deadline_timer.c b/hypervisor/arch/x86/tsc_deadline_timer.c
index f26ffbcbe..7dcc7560e 100644
--- a/hypervisor/arch/x86/tsc_deadline_timer.c
+++ b/hypervisor/arch/x86/tsc_deadline_timer.c
@@ -30,7 +30,7 @@ void init_hw_timer(void)
 	int32_t retval = 0;
 
 	if (get_pcpu_id() == BSP_CPU_ID) {
-		retval = request_irq(TIMER_IRQ, (irq_action_t)timer_expired_handler, NULL, IRQF_NONE);
+		retval = request_irq(TIMER_IRQ, timer_expired_handler, NULL, IRQF_NONE);
 		if (retval < 0) {
 			pr_err("Timer setup failed");
 		}