1/* 2 * i.MX31 emulation 3 * 4 * Copyright (C) 2012 Peter Chubb 5 * NICTA 6 * 7 * This code is released under the GPL, version 2.0 or later 8 * See the file `../COPYING' for details. 9 */ 10 11#ifndef IMX_H 12#define IMX_H 13 14void imx_serial_create(int uart, const hwaddr addr, qemu_irq irq); 15 16typedef enum { 17 NOCLK, 18 MCU, 19 HSP, 20 IPG, 21 CLK_32k 22} IMXClk; 23 24uint32_t imx_clock_frequency(DeviceState *s, IMXClk clock); 25 26void imx_timerp_create(const hwaddr addr, 27 qemu_irq irq, 28 DeviceState *ccm); 29void imx_timerg_create(const hwaddr addr, 30 qemu_irq irq, 31 DeviceState *ccm); 32 33 34#endif /* IMX_H */ 35