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
,