4 /* Declarations for ARM PrimeCell based periperals. */
5 /* Also includes some devices that are currently only used by the
9 void pl061_float_high(void *opaque, uint8_t mask);
10 qemu_irq *pl061_init(uint32_t base, qemu_irq irq, qemu_irq **out);
13 void *pl080_init(uint32_t base, qemu_irq irq, int nchannels);
16 void arm_sysctl_init(uint32_t base, uint32_t sys_id);