use an uint64_t for the max_sz parameter in load_image_targphys

[qemu.git] / hw / primecell.h

diff --git a/hw/primecell.h b/hw/primecell.h
index de7d6f2df2537c336642eec4aba93cbbce2c8dc8..7337c3b3ca0a9aee421d21a611b59856f97eb262 100644 (file)
--- a/hw/primecell.h
+++ b/hw/primecell.h
@@ -5,12 +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);
-
 /* arm_sysctl GPIO lines */
 #define ARM_SYSCTL_GPIO_MMC_WPROT 0
 #define ARM_SYSCTL_GPIO_MMC_CARDIN 1