1/*-
2 * Copyright (c) 2013 Ian Lepore <ian@freebsd.org>
3 * All rights reserved.
4 *
5 * Redistribution and use in source and binary forms, with or without
6 * modification, are permitted provided that the following conditions
7 * are met:
8 * 1. Redistributions of source code must retain the above copyright

--- 13 unchanged lines hidden (view full) ---

22 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
23 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
24 * SUCH DAMAGE.
25 */
26
27#include "opt_platform.h"
28
29#include <sys/cdefs.h>
30__FBSDID("$FreeBSD: stable/10/sys/arm/freescale/imx/imx53_machdep.c 259322 2013-12-13 18:26:22Z ian $");
31
32#include <sys/param.h>
33#include <sys/systm.h>
34#include <sys/bus.h>
35#include <sys/reboot.h>
36
37#include <machine/machdep.h>
38#include <arm/freescale/imx/imx_machdep.h>
39
40/*
41 * Set up static device mappings. This is hand-optimized platform-specific
42 * config data which covers most of the common on-chip devices with a few 1MB
43 * section mappings.
44 *
45 * Notably missing are entries for GPU, IPU, in general anything video related.
46 *
47 * Note that for imx this is called from initarm_lastaddr() so that the lowest
48 * kva address used for static device mapping can be known at that point.
49 */
50void
51imx_devmap_init(void)
52{
53
54 imx_devmap_addentry(0x50000000, 0x00100000);
55 imx_devmap_addentry(0x53f00000, 0x00100000);
56 imx_devmap_addentry(0x63f00000, 0x00100000);
57}
58
59void
60cpu_reset(void)
61{
62
63 imx_wdog_cpu_reset(0x53F98000);
64}
65
66u_int imx_soc_type()
67{
68 return (IMXSOC_53);
69}
70
71