2012-07-04 18:43:33 +08:00
|
|
|
/*
|
|
|
|
* i.MX31 emulation
|
|
|
|
*
|
|
|
|
* Copyright (C) 2012 Peter Chubb
|
|
|
|
* NICTA
|
|
|
|
*
|
|
|
|
* This code is released under the GPL, version 2.0 or later
|
|
|
|
* See the file `../COPYING' for details.
|
|
|
|
*/
|
|
|
|
|
|
|
|
#ifndef IMX_H
|
|
|
|
#define IMX_H
|
|
|
|
|
|
|
|
void imx_serial_create(int uart, const target_phys_addr_t addr, qemu_irq irq);
|
|
|
|
|
2012-07-04 18:43:33 +08:00
|
|
|
typedef enum {
|
|
|
|
NOCLK,
|
|
|
|
MCU,
|
|
|
|
HSP,
|
|
|
|
IPG,
|
|
|
|
CLK_32k
|
|
|
|
} IMXClk;
|
|
|
|
|
|
|
|
uint32_t imx_clock_frequency(DeviceState *s, IMXClk clock);
|
|
|
|
|
2012-07-04 18:43:33 +08:00
|
|
|
#endif /* IMX_H */
|