4 /* Declarations for ARM PrimeCell based periperals. */
5 /* Also includes some devices that are currently only used by the
9 typedef int (*ssi_xfer_cb
)(void *, int);
10 void pl022_init(uint32_t base
, qemu_irq irq
, ssi_xfer_cb xfer_cb
,
14 void pl061_float_high(void *opaque
, uint8_t mask
);
15 qemu_irq
*pl061_init(uint32_t base
, qemu_irq irq
, qemu_irq
**out
);
18 void *pl080_init(uint32_t base
, qemu_irq irq
, int nchannels
);
21 qemu_irq
*realview_gic_init(uint32_t base
, qemu_irq parent_irq
);
24 extern qemu_irq
*mpcore_irq_init(qemu_irq
*cpu_irq
);
27 void arm_sysctl_init(uint32_t base
, uint32_t sys_id
);