/*
 * 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);

typedef enum  {
    NOCLK,
    MCU,
    HSP,
    IPG,
    CLK_32k
} IMXClk;

uint32_t imx_clock_frequency(DeviceState *s, IMXClk clock);

void imx_timerp_create(const target_phys_addr_t addr,
                      qemu_irq irq,
                      DeviceState *ccm);
void imx_timerg_create(const target_phys_addr_t addr,
                      qemu_irq irq,
                      DeviceState *ccm);


#endif /* IMX_H */