1/*-
2 * SPDX-License-Identifier: BSD-2-Clause-FreeBSD
3 *
4 * Copyright (c) 2013 Ian Lepore <ian@freebsd.org>
5 * All rights reserved.
6 *
7 * Redistribution and use in source and binary forms, with or without
8 * modification, are permitted provided that the following conditions
9 * are met:
10 * 1. Redistributions of source code must retain the above copyright
11 *    notice, this list of conditions and the following disclaimer.
12 * 2. Redistributions in binary form must reproduce the above copyright
13 *    notice, this list of conditions and the following disclaimer in the
14 *    documentation and/or other materials provided with the distribution.
15 *
16 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
17 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
18 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
19 * ARE DISCLAIMED.  IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
20 * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
21 * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
22 * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
23 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
24 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
25 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
26 * SUCH DAMAGE.
27 */
28
29#include "opt_platform.h"
30
31#include <sys/cdefs.h>
32__FBSDID("$FreeBSD$");
33
34#include <sys/param.h>
35#include <sys/systm.h>
36#include <sys/bus.h>
37#include <sys/reboot.h>
38#include <sys/devmap.h>
39
40#include <vm/vm.h>
41
42#include <machine/bus.h>
43#include <machine/machdep.h>
44#include <machine/platformvar.h>
45
46#include <arm/freescale/imx/imx_machdep.h>
47
48#include "platform_if.h"
49
50static platform_attach_t imx51_attach;
51static platform_devmap_init_t imx51_devmap_init;
52static platform_cpu_reset_t imx51_cpu_reset;
53
54static int
55imx51_attach(platform_t plat)
56{
57
58	/* XXX - Get rid of this stuff soon. */
59	boothowto |= RB_VERBOSE|RB_MULTIPLE;
60	bootverbose = 1;
61
62	return (0);
63}
64
65/*
66 * Set up static device mappings.  This is hand-optimized platform-specific
67 * config data which covers most of the common on-chip devices with a few 1MB
68 * section mappings.
69 *
70 * Notably missing are entries for GPU, IPU, in general anything video related.
71 */
72static int
73imx51_devmap_init(platform_t plat)
74{
75
76	devmap_add_entry(0x70000000, 0x00100000);
77	devmap_add_entry(0x73f00000, 0x00100000);
78	devmap_add_entry(0x83f00000, 0x00100000);
79
80	return (0);
81}
82
83static void
84imx51_cpu_reset(platform_t plat)
85{
86
87	imx_wdog_cpu_reset(0x73F98000);
88}
89
90u_int
91imx_soc_type(void)
92{
93	return (IMXSOC_51);
94}
95
96static platform_method_t imx51_methods[] = {
97	PLATFORMMETHOD(platform_attach,		imx51_attach),
98	PLATFORMMETHOD(platform_devmap_init,	imx51_devmap_init),
99	PLATFORMMETHOD(platform_cpu_reset,	imx51_cpu_reset),
100
101	PLATFORMMETHOD_END,
102};
103
104FDT_PLATFORM_DEF(imx51, "i.MX51", 0, "fsl,imx51", 100);
105