4 /* Declarations for ARM PrimeCell based periperals. */
5 /* Also includes some devices that are currently only used by the
9 void *pl080_init(uint32_t base, qemu_irq irq, int nchannels);
12 void arm_sysctl_init(uint32_t base, uint32_t sys_id, uint32_t proc_id);
14 /* arm_sysctl GPIO lines */
15 #define ARM_SYSCTL_GPIO_MMC_WPROT 0
16 #define ARM_SYSCTL_GPIO_MMC_CARDIN 1