1 #ifndef PRIMECELL_H 2 #define PRIMECELL_H 3 4 /* Declarations for ARM PrimeCell based periperals. */ 5 /* Also includes some devices that are currently only used by the 6 ARM boards. */ 7 8 /* pl061.c */ 9 void pl061_float_high(void *opaque, uint8_t mask); 10 qemu_irq *pl061_init(uint32_t base, qemu_irq irq, qemu_irq **out); 11 12 /* pl080.c */ 13 void *pl080_init(uint32_t base, qemu_irq irq, int nchannels); 14 15 /* arm_sysctl.c */ 16 void arm_sysctl_init(uint32_t base, uint32_t sys_id); 17 18 #endif 19