diff --git a/hw/pl031.c b/hw/pl031.c
index 3f8bfaa65b..bb47507847 100644
--- a/hw/pl031.c
+++ b/hw/pl031.c
@@ -12,7 +12,6 @@
 #include "hw.h"
 #include "primecell.h"
 #include "qemu-timer.h"
-#include "sysemu.h"
 
 //#define DEBUG_PL031
 
diff --git a/hw/pl190.c b/hw/pl190.c
index d7eb695353..0ab42efd42 100644
--- a/hw/pl190.c
+++ b/hw/pl190.c
@@ -9,7 +9,6 @@
 
 #include "hw.h"
 #include "primecell.h"
-#include "arm-misc.h"
 
 /* The number of virtual priority levels.  16 user vectors plus the
    unvectored IRQ.  Chained interrupts would require an additional level