4
* Copyright (C) 2012 Peter Chubb
7
* This code is released under the GPL, version 2.0 or later
8
* See the file `../COPYING' for details.
14
void imx_serial_create(int uart, const target_phys_addr_t addr, qemu_irq irq);
24
uint32_t imx_clock_frequency(DeviceState *s, IMXClk clock);
26
void imx_timerp_create(const target_phys_addr_t addr,
29
void imx_timerg_create(const target_phys_addr_t addr,