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

#include "hw/misc/imx_ccm.h"

void imx_serial_create(int uart, const hwaddr addr, qemu_irq irq);

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


#endif /* IMX_H */