5 struct scoop_info_s *scoop_init(struct pxa2xx_state_s *cpu,
6 int instance, target_phys_addr_t target_base);
7 void scoop_gpio_set(void *opaque, int line, int level);
8 qemu_irq *scoop_gpio_in_get(struct scoop_info_s *s);
9 void scoop_gpio_out_set(struct scoop_info_s *s, int line,
12 #define SL_PXA_PARAM_BASE 0xa0000a00
13 void sl_bootparam_write(uint32_t ptr);