2 * Copyright (C) 2008 MARVELL INTERNATIONAL LTD.
5 * Developed by Semihalf.
7 * Redistribution and use in source and binary forms, with or without
8 * modification, are permitted provided that the following conditions
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 * 3. Neither the name of MARVELL nor the names of contributors
16 * may be used to endorse or promote products derived from this software
17 * without specific prior written permission.
19 * THIS SOFTWARE IS PROVIDED BY AUTHOR AND CONTRIBUTORS ``AS IS'' AND
20 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
21 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
22 * ARE DISCLAIMED. IN NO EVENT SHALL AUTHOR OR CONTRIBUTORS BE LIABLE
23 * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
24 * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
25 * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
26 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
27 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
28 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
32 #include <sys/cdefs.h>
33 __FBSDID("$FreeBSD$");
35 #include <sys/param.h>
36 #include <sys/systm.h>
38 #include <sys/kernel.h>
43 #include <machine/pte.h>
44 #include <machine/pmap.h>
45 #include <machine/vmparam.h>
47 #include <arm/mv/mvreg.h>
48 #include <arm/mv/mvvar.h>
51 * Virtual address space layout:
52 * -----------------------------
53 * 0x0000_0000 - 0xbfff_ffff : user process
55 * 0xc040_0000 - virtual_avail : kernel reserved (text, data, page tables
56 * : structures, ARM stacks etc.)
57 * virtual_avail - 0xefff_ffff : KVA (virtual_avail is typically < 0xc0a0_0000)
58 * 0xf000_0000 - 0xf0ff_ffff : no-cache allocation area (16MB)
59 * 0xf100_0000 - 0xf10f_ffff : SoC integrated devices registers range (1MB)
60 * 0xf110_0000 - 0xfffe_ffff : PCIE (MEM+IO) outbound windows (~238MB)
61 * 0xffff_0000 - 0xffff_0fff : 'high' vectors page (4KB)
62 * 0xffff_1000 - 0xffff_1fff : ARM_TP_ADDRESS/RAS page (4KB)
63 * 0xffff_2000 - 0xffff_ffff : unused (~55KB)
66 const struct pmap_devmap *pmap_devmap_bootstrap_table;
67 vm_offset_t pmap_bootstrap_lastaddr;
69 /* Static device mappings. */
70 static const struct pmap_devmap pmap_devmap[] = {
72 * Map the on-board devices VA == PA so that we can access them
73 * with the MMU on or off.
75 { /* SoC integrated peripherals registers range */
79 VM_PROT_READ | VM_PROT_WRITE,
86 platform_pmap_init(void)
89 pmap_bootstrap_lastaddr = MV_BASE - ARM_NOCACHE_KVA_SIZE;
90 pmap_devmap_bootstrap_table = &pmap_devmap[0];
96 platform_identify(void *dummy)
102 * XXX Board identification e.g. read out from FPGA or similar should
106 SYSINIT(platform_identify, SI_SUB_CPU, SI_ORDER_SECOND, platform_identify, NULL);
109 * TODO routine setting GPIO/MPP pins