2007-11-18 01:14:51 +08:00
|
|
|
#ifndef PRIMECELL_H
|
|
|
|
|
#define PRIMECELL_H
|
|
|
|
|
|
|
|
|
|
/* Declarations for ARM PrimeCell based periperals. */
|
|
|
|
|
/* Also includes some devices that are currently only used by the
|
|
|
|
|
ARM boards. */
|
|
|
|
|
|
|
|
|
|
/* pl061.c */
|
2007-11-25 07:35:08 +08:00
|
|
|
void pl061_float_high(void *opaque, uint8_t mask);
|
2007-11-18 01:14:51 +08:00
|
|
|
qemu_irq *pl061_init(uint32_t base, qemu_irq irq, qemu_irq **out);
|
|
|
|
|
|
|
|
|
|
/* 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);
|
|
|
|
|
|
|
|
|
|
#endif
|
