diff --git a/hw/primecell.h b/hw/primecell.h
index de7d6f2..ded0446 100644
--- a/hw/primecell.h
+++ b/hw/primecell.h
@@ -5,9 +5,6 @@
  /* Also includes some devices that are currently only used by the
     ARM boards.  */

-/* pl080.c */
-void *pl080_init(uint32_t base, qemu_irq irq, int nchannels);
-
  /* arm_sysctl.c */
  void arm_sysctl_init(uint32_t base, uint32_t sys_id, uint32_t proc_id);