2 * SPDX-License-Identifier: BSD-4-Clause
4 * Copyright (c) 2012 Oleksandr Tymoshenko.
7 * This code is derived from software written for Brini by Mark Brinicombe
9 * Redistribution and use in source and binary forms, with or without
10 * modification, are permitted provided that the following conditions
12 * 1. Redistributions of source code must retain the above copyright
13 * notice, this list of conditions and the following disclaimer.
14 * 2. Redistributions in binary form must reproduce the above copyright
15 * notice, this list of conditions and the following disclaimer in the
16 * documentation and/or other materials provided with the distribution.
17 * 3. All advertising materials mentioning features or use of this software
18 * must display the following acknowledgement:
19 * This product includes software developed by Brini.
20 * 4. The name of the company nor the name of the author may be used to
21 * endorse or promote products derived from this software without specific
22 * prior written permission.
24 * THIS SOFTWARE IS PROVIDED BY BRINI ``AS IS'' AND ANY EXPRESS OR IMPLIED
25 * WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF
26 * MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
27 * IN NO EVENT SHALL BRINI OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT,
28 * INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
29 * (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
30 * SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
31 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
32 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
33 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
39 #include "opt_platform.h"
41 #include <sys/cdefs.h>
42 __FBSDID("$FreeBSD$");
44 #include <sys/param.h>
45 #include <sys/systm.h>
47 #include <sys/devmap.h>
52 #include <machine/bus.h>
53 #include <machine/machdep.h>
54 #include <machine/platform.h>
56 #include <dev/fdt/fdt_common.h>
58 /* Start of address space used for bootstrap map */
59 #define DEVMAP_BOOTSTRAP_MAP_START 0xE0000000
62 platform_lastaddr(void)
65 return (DEVMAP_BOOTSTRAP_MAP_START);
69 platform_probe_and_attach(void)
75 platform_gpio_init(void)
80 platform_late_init(void)
84 #define FDT_DEVMAP_MAX (2) /* FIXME */
85 static struct devmap_entry fdt_devmap[FDT_DEVMAP_MAX] = {
92 * Construct devmap table with DT-derived config data.
95 platform_devmap_init(void)
98 fdt_devmap[i].pd_va = 0xf0100000;
99 fdt_devmap[i].pd_pa = 0x10100000;
100 fdt_devmap[i].pd_size = 0x01000000; /* 1 MB */
102 devmap_register_table(&fdt_devmap[0]);
109 printf("cpu_reset\n");