diff --git a/hw/xilinx_timer.c b/hw/xilinx_timer.c
index 0683ce1ecf..e8b7a59472 100644
--- a/hw/xilinx_timer.c
+++ b/hw/xilinx_timer.c
@@ -23,7 +23,6 @@
  */
 
 #include "sysbus.h"
-#include "qemu-timer.h"
 #include "ptimer.h"
 
 #define D(x)