| #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 */ | |
| void pl061_float_high(void *opaque, uint8_t mask); | |
| 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 |