]>
Commit | Line | Data |
---|---|---|
40b6f911 PC |
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 target_phys_addr_t addr, qemu_irq irq); | |
15 | ||
bcc181b0 PC |
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 | ||
78d1404d PC |
26 | void imx_timerp_create(const target_phys_addr_t addr, |
27 | qemu_irq irq, | |
28 | DeviceState *ccm); | |
29 | void imx_timerg_create(const target_phys_addr_t addr, | |
30 | qemu_irq irq, | |
31 | DeviceState *ccm); | |
32 | ||
33 | ||
40b6f911 | 34 | #endif /* IMX_H */ |