hw/imx.h

   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
  14 void imx_serial_create(int uart, const hwaddr addr, qemu_irq irq);
  15
  16 typedef enum  {
  17     NOCLK,
  18     MCU,
  19     HSP,
  20     IPG,
  21     CLK_32k
  22 } IMXClk;
  23
  24 uint32_t imx_clock_frequency(DeviceState *s, IMXClk clock);
  25
  26 void imx_timerp_create(const hwaddr addr,
  27                       qemu_irq irq,
  28                       DeviceState *ccm);
  29 void imx_timerg_create(const hwaddr addr,
  30                       qemu_irq irq,
  31                       DeviceState *ccm);
  32
  33
  34 #endif /* IMX_H */