crb_machdep.c revision 172297
1171626Scognet/*	$NetBSD: hpc_machdep.c,v 1.70 2003/09/16 08:18:22 agc Exp $	*/
2171626Scognet
3171626Scognet/*-
4171626Scognet * Copyright (c) 1994-1998 Mark Brinicombe.
5171626Scognet * Copyright (c) 1994 Brini.
6171626Scognet * All rights reserved.
7171626Scognet *
8171626Scognet * This code is derived from software written for Brini by Mark Brinicombe
9171626Scognet *
10171626Scognet * Redistribution and use in source and binary forms, with or without
11171626Scognet * modification, are permitted provided that the following conditions
12171626Scognet * are met:
13171626Scognet * 1. Redistributions of source code must retain the above copyright
14171626Scognet *    notice, this list of conditions and the following disclaimer.
15171626Scognet * 2. Redistributions in binary form must reproduce the above copyright
16171626Scognet *    notice, this list of conditions and the following disclaimer in the
17171626Scognet *    documentation and/or other materials provided with the distribution.
18171626Scognet * 3. All advertising materials mentioning features or use of this software
19171626Scognet *    must display the following acknowledgement:
20171626Scognet *      This product includes software developed by Brini.
21171626Scognet * 4. The name of the company nor the name of the author may be used to
22171626Scognet *    endorse or promote products derived from this software without specific
23171626Scognet *    prior written permission.
24171626Scognet *
25171626Scognet * THIS SOFTWARE IS PROVIDED BY BRINI ``AS IS'' AND ANY EXPRESS OR IMPLIED
26171626Scognet * WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF
27171626Scognet * MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
28171626Scognet * IN NO EVENT SHALL BRINI OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT,
29171626Scognet * INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
30171626Scognet * (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
31171626Scognet * SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
32171626Scognet * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
33171626Scognet * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
34171626Scognet * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
35171626Scognet * SUCH DAMAGE.
36171626Scognet *
37171626Scognet * RiscBSD kernel project
38171626Scognet *
39171626Scognet * machdep.c
40171626Scognet *
41171626Scognet * Machine dependant functions for kernel setup
42171626Scognet *
43171626Scognet * This file needs a lot of work.
44171626Scognet *
45171626Scognet * Created      : 17/09/94
46171626Scognet */
47171626Scognet
48171626Scognet#include "opt_msgbuf.h"
49171626Scognet#include "opt_ddb.h"
50171626Scognet
51171626Scognet#include <sys/cdefs.h>
52171626Scognet__FBSDID("$FreeBSD: head/sys/arm/xscale/i8134x/crb_machdep.c 172297 2007-09-22 16:25:43Z cognet $");
53171626Scognet
54171626Scognet#define _ARM32_BUS_DMA_PRIVATE
55171626Scognet#include <sys/param.h>
56171626Scognet#include <sys/systm.h>
57171626Scognet#include <sys/sysproto.h>
58171626Scognet#include <sys/signalvar.h>
59171626Scognet#include <sys/imgact.h>
60171626Scognet#include <sys/kernel.h>
61171626Scognet#include <sys/ktr.h>
62171626Scognet#include <sys/linker.h>
63171626Scognet#include <sys/lock.h>
64171626Scognet#include <sys/malloc.h>
65171626Scognet#include <sys/mutex.h>
66171626Scognet#include <sys/pcpu.h>
67171626Scognet#include <sys/proc.h>
68171626Scognet#include <sys/ptrace.h>
69171626Scognet#include <sys/cons.h>
70171626Scognet#include <sys/bio.h>
71171626Scognet#include <sys/bus.h>
72171626Scognet#include <sys/buf.h>
73171626Scognet#include <sys/exec.h>
74171626Scognet#include <sys/kdb.h>
75171626Scognet#include <sys/msgbuf.h>
76171626Scognet#include <machine/reg.h>
77171626Scognet#include <machine/cpu.h>
78171626Scognet
79171626Scognet#include <vm/vm.h>
80171626Scognet#include <vm/pmap.h>
81171626Scognet#include <vm/vm.h>
82171626Scognet#include <vm/vm_object.h>
83171626Scognet#include <vm/vm_page.h>
84171626Scognet#include <vm/vm_pager.h>
85171626Scognet#include <vm/vm_map.h>
86171626Scognet#include <vm/vnode_pager.h>
87171626Scognet#include <machine/pmap.h>
88171626Scognet#include <machine/vmparam.h>
89171626Scognet#include <machine/pcb.h>
90171626Scognet#include <machine/undefined.h>
91171626Scognet#include <machine/machdep.h>
92171626Scognet#include <machine/metadata.h>
93171626Scognet#include <machine/armreg.h>
94171626Scognet#include <machine/bus.h>
95171626Scognet#include <sys/reboot.h>
96171626Scognet
97171626Scognet
98171626Scognet#include <arm/xscale/i80321/i80321var.h> /* For i80321_calibrate_delay() */
99171626Scognet
100171626Scognet#include <arm/xscale/i8134x/i81342reg.h>
101171626Scognet#include <arm/xscale/i8134x/i81342var.h>
102171626Scognet#include <arm/xscale/i8134x/obiovar.h>
103171626Scognet
104171626Scognet
105171626Scognet#define KERNEL_PT_SYS		0	/* Page table for mapping proc0 zero page */
106171626Scognet#define	KERNEL_PT_IOPXS		1
107171626Scognet#define KERNEL_PT_BEFOREKERN	2
108171626Scognet#define KERNEL_PT_AFKERNEL	3	/* L2 table for mapping after kernel */
109171626Scognet#define	KERNEL_PT_AFKERNEL_NUM	9
110171626Scognet
111171626Scognet/* this should be evenly divisable by PAGE_SIZE / L2_TABLE_SIZE_REAL (or 4) */
112171626Scognet#define NUM_KERNEL_PTS		(KERNEL_PT_AFKERNEL + KERNEL_PT_AFKERNEL_NUM)
113171626Scognet
114171626Scognet/* Define various stack sizes in pages */
115171626Scognet#define IRQ_STACK_SIZE	1
116171626Scognet#define ABT_STACK_SIZE	1
117171626Scognet#ifdef IPKDB
118171626Scognet#define UND_STACK_SIZE	2
119171626Scognet#else
120171626Scognet#define UND_STACK_SIZE	1
121171626Scognet#endif
122171626Scognet
123171626Scognetextern u_int data_abort_handler_address;
124171626Scognetextern u_int prefetch_abort_handler_address;
125171626Scognetextern u_int undefined_handler_address;
126171626Scognet
127171626Scognetstruct pv_addr kernel_pt_table[NUM_KERNEL_PTS];
128171626Scognet
129171626Scognetextern void *_end;
130171626Scognet
131171626Scognetextern vm_offset_t sa1_cache_clean_addr;
132171626Scognet
133171626Scognetextern int *end;
134171626Scognet
135171626Scognetstruct pcpu __pcpu;
136171626Scognetstruct pcpu *pcpup = &__pcpu;
137171626Scognet
138171626Scognet/* Physical and virtual addresses for some global pages */
139171626Scognet
140171626Scognetvm_paddr_t phys_avail[10];
141171626Scognetvm_paddr_t dump_avail[4];
142171626Scognetvm_offset_t physical_pages;
143171626Scognetvm_offset_t clean_sva, clean_eva;
144171626Scognet
145171626Scognetstruct pv_addr systempage;
146171626Scognetstruct pv_addr msgbufpv;
147171626Scognetstruct pv_addr irqstack;
148171626Scognetstruct pv_addr undstack;
149171626Scognetstruct pv_addr abtstack;
150171626Scognetstruct pv_addr kernelstack;
151171626Scognet
152171626Scognetstatic struct trapframe proc0_tf;
153171626Scognet
154171626Scognet/* Static device mappings. */
155171626Scognetstatic const struct pmap_devmap iq81342_devmap[] = {
156171626Scognet	    {
157171626Scognet		    IOP34X_VADDR,
158171626Scognet		    IOP34X_HWADDR,
159171626Scognet		    IOP34X_SIZE,
160171626Scognet		    VM_PROT_READ|VM_PROT_WRITE,
161171626Scognet		    PTE_NOCACHE,
162171626Scognet	    },
163171626Scognet	    {
164171626Scognet		    /*
165171626Scognet		     * Cheat and map a whole section, this will bring
166171626Scognet		     * both PCI-X and PCI-E outbound I/O
167171626Scognet		     */
168171626Scognet		    IOP34X_PCIX_OIOBAR_VADDR &~ (0x100000 - 1),
169171626Scognet		    IOP34X_PCIX_OIOBAR &~ (0x100000 - 1),
170171626Scognet		    0x100000,
171171626Scognet		    VM_PROT_READ|VM_PROT_WRITE,
172171626Scognet		    PTE_NOCACHE,
173171626Scognet	    },
174172297Scognet	    {
175172297Scognet		    IOP34X_PCE1_VADDR,
176172297Scognet		    IOP34X_PCE1,
177172297Scognet		    IOP34X_PCE1_SIZE,
178172297Scognet		    VM_PROT_READ|VM_PROT_WRITE,
179172297Scognet		    PTE_NOCACHE,
180172297Scognet	    },
181171626Scognet	    {
182171626Scognet		    0,
183171626Scognet		    0,
184171626Scognet		    0,
185171626Scognet		    0,
186171626Scognet		    0,
187171626Scognet	    }
188171626Scognet};
189171626Scognet
190171626Scognet#define SDRAM_START 0x00000000
191171626Scognet
192171626Scognet#ifdef DDB
193171626Scognetextern vm_offset_t ksym_start, ksym_end;
194171626Scognet#endif
195171626Scognet
196171626Scognetextern vm_offset_t xscale_cache_clean_addr;
197171626Scognet
198171626Scognetvoid *
199171626Scognetinitarm(void *arg, void *arg2)
200171626Scognet{
201171626Scognet	struct pv_addr  kernel_l1pt;
202171626Scognet	int loop;
203171626Scognet	u_int l1pagetable;
204171626Scognet	vm_offset_t freemempos;
205171626Scognet	vm_offset_t freemem_pt;
206171626Scognet	vm_offset_t afterkern;
207171626Scognet	vm_offset_t freemem_after;
208171626Scognet	vm_offset_t lastaddr;
209171626Scognet#ifdef DDB
210171626Scognet	vm_offset_t zstart = 0, zend = 0;
211171626Scognet#endif
212171626Scognet	int i;
213171626Scognet	uint32_t fake_preload[35];
214171626Scognet	uint32_t memsize, memstart;
215171626Scognet
216171626Scognet	i = 0;
217171626Scognet
218171626Scognet	set_cpufuncs();
219171626Scognet	fake_preload[i++] = MODINFO_NAME;
220171626Scognet	fake_preload[i++] = strlen("elf kernel") + 1;
221171626Scognet	strcpy((char*)&fake_preload[i++], "elf kernel");
222171626Scognet	i += 2;
223171626Scognet	fake_preload[i++] = MODINFO_TYPE;
224171626Scognet	fake_preload[i++] = strlen("elf kernel") + 1;
225171626Scognet	strcpy((char*)&fake_preload[i++], "elf kernel");
226171626Scognet	i += 2;
227171626Scognet	fake_preload[i++] = MODINFO_ADDR;
228171626Scognet	fake_preload[i++] = sizeof(vm_offset_t);
229171626Scognet	fake_preload[i++] = KERNBASE + 0x00200000;
230171626Scognet	fake_preload[i++] = MODINFO_SIZE;
231171626Scognet	fake_preload[i++] = sizeof(uint32_t);
232171626Scognet	fake_preload[i++] = (uint32_t)&end - KERNBASE - 0x00200000;
233171626Scognet#ifdef DDB
234171626Scognet	if (*(uint32_t *)KERNVIRTADDR == MAGIC_TRAMP_NUMBER) {
235171626Scognet		fake_preload[i++] = MODINFO_METADATA|MODINFOMD_SSYM;
236171626Scognet		fake_preload[i++] = sizeof(vm_offset_t);
237171626Scognet		fake_preload[i++] = *(uint32_t *)(KERNVIRTADDR + 4);
238171626Scognet		fake_preload[i++] = MODINFO_METADATA|MODINFOMD_ESYM;
239171626Scognet		fake_preload[i++] = sizeof(vm_offset_t);
240171626Scognet		fake_preload[i++] = *(uint32_t *)(KERNVIRTADDR + 8);
241171626Scognet		lastaddr = *(uint32_t *)(KERNVIRTADDR + 8);
242171626Scognet		zend = lastaddr;
243171626Scognet		zstart = *(uint32_t *)(KERNVIRTADDR + 4);
244171626Scognet		ksym_start = zstart;
245171626Scognet		ksym_end = zend;
246171626Scognet	} else
247171626Scognet#endif
248171626Scognet		lastaddr = (vm_offset_t)&end;
249171626Scognet
250171626Scognet	fake_preload[i++] = 0;
251171626Scognet	fake_preload[i] = 0;
252171626Scognet	preload_metadata = (void *)fake_preload;
253171626Scognet
254171626Scognet
255171626Scognet	pcpu_init(pcpup, 0, sizeof(struct pcpu));
256171626Scognet	PCPU_SET(curthread, &thread0);
257171626Scognet
258171626Scognet#define KERNEL_TEXT_BASE (KERNBASE + 0x00200000)
259171626Scognet	freemempos = 0x00200000;
260171626Scognet	/* Define a macro to simplify memory allocation */
261171626Scognet#define	valloc_pages(var, np)			\
262171626Scognet	alloc_pages((var).pv_pa, (np));		\
263171626Scognet	(var).pv_va = (var).pv_pa + 0xc0000000;
264171626Scognet
265171626Scognet#define alloc_pages(var, np)			\
266171626Scognet	freemempos -= (np * PAGE_SIZE);		\
267171626Scognet	(var) = freemempos;		\
268171626Scognet	memset((char *)(var), 0, ((np) * PAGE_SIZE));
269171626Scognet
270171626Scognet	while (((freemempos - L1_TABLE_SIZE) & (L1_TABLE_SIZE - 1)) != 0)
271171626Scognet		freemempos -= PAGE_SIZE;
272171626Scognet	valloc_pages(kernel_l1pt, L1_TABLE_SIZE / PAGE_SIZE);
273171626Scognet	for (loop = 0; loop < NUM_KERNEL_PTS; ++loop) {
274171626Scognet		if (!(loop % (PAGE_SIZE / L2_TABLE_SIZE_REAL))) {
275171626Scognet			valloc_pages(kernel_pt_table[loop],
276171626Scognet			    L2_TABLE_SIZE / PAGE_SIZE);
277171626Scognet		} else {
278171626Scognet			kernel_pt_table[loop].pv_pa = freemempos +
279171626Scognet			    (loop % (PAGE_SIZE / L2_TABLE_SIZE_REAL)) *
280171626Scognet			    L2_TABLE_SIZE_REAL;
281171626Scognet			kernel_pt_table[loop].pv_va =
282171626Scognet			    kernel_pt_table[loop].pv_pa + 0xc0000000;
283171626Scognet		}
284171626Scognet	}
285171626Scognet	freemem_pt = freemempos;
286171626Scognet	freemempos = 0x00100000;
287171626Scognet	/*
288171626Scognet	 * Allocate a page for the system page mapped to V0x00000000
289171626Scognet	 * This page will just contain the system vectors and can be
290171626Scognet	 * shared by all processes.
291171626Scognet	 */
292171626Scognet	valloc_pages(systempage, 1);
293171626Scognet
294171626Scognet	/* Allocate stacks for all modes */
295171626Scognet	valloc_pages(irqstack, IRQ_STACK_SIZE);
296171626Scognet	valloc_pages(abtstack, ABT_STACK_SIZE);
297171626Scognet	valloc_pages(undstack, UND_STACK_SIZE);
298171626Scognet	valloc_pages(kernelstack, KSTACK_PAGES);
299171626Scognet	valloc_pages(msgbufpv, round_page(MSGBUF_SIZE) / PAGE_SIZE);
300171626Scognet#ifdef ARM_USE_SMALL_ALLOC
301171626Scognet	freemempos -= PAGE_SIZE;
302171626Scognet	freemem_pt = trunc_page(freemem_pt);
303171626Scognet	freemem_after = freemempos - ((freemem_pt - 0x00100000) /
304171626Scognet	    PAGE_SIZE) * sizeof(struct arm_small_page);
305171626Scognet	arm_add_smallalloc_pages((void *)(freemem_after + 0xc0000000)
306171626Scognet	    , (void *)0xc0100000, freemem_pt - 0x00100000, 1);
307171626Scognet	freemem_after -= ((freemem_after - 0x00001000) / PAGE_SIZE) *
308171626Scognet	    sizeof(struct arm_small_page);
309171626Scognet#if 0
310171626Scognet	arm_add_smallalloc_pages((void *)(freemem_after + 0xc0000000)
311171626Scognet	, (void *)0xc0001000, trunc_page(freemem_after) - 0x00001000, 0);
312171626Scognet#endif
313171626Scognet	freemempos = trunc_page(freemem_after);
314171626Scognet	freemempos -= PAGE_SIZE;
315171626Scognet#endif
316171626Scognet	/*
317171626Scognet	 * Now we start construction of the L1 page table
318171626Scognet	 * We start by mapping the L2 page tables into the L1.
319171626Scognet	 * This means that we can replace L1 mappings later on if necessary
320171626Scognet	 */
321171626Scognet	l1pagetable = kernel_l1pt.pv_va;
322171626Scognet
323171626Scognet	/* Map the L2 pages tables in the L1 page table */
324171626Scognet	pmap_link_l2pt(l1pagetable, ARM_VECTORS_HIGH & ~(0x00100000 - 1),
325171626Scognet	    &kernel_pt_table[KERNEL_PT_SYS]);
326171626Scognet	pmap_map_chunk(l1pagetable, KERNBASE, SDRAM_START, 0x100000,
327171626Scognet	    VM_PROT_READ|VM_PROT_WRITE, PTE_CACHE);
328171626Scognet
329171626Scognet	pmap_map_chunk(l1pagetable, KERNBASE + 0x100000, SDRAM_START + 0x100000,
330171626Scognet	    0x100000, VM_PROT_READ|VM_PROT_WRITE, PTE_PAGETABLE);
331171626Scognet
332171626Scognet	pmap_map_chunk(l1pagetable, KERNBASE + 0x200000, SDRAM_START + 0x200000,
333171626Scognet	   (((uint32_t)(lastaddr) - KERNBASE - 0x200000) + L1_S_SIZE) & ~(L1_S_SIZE - 1),
334171626Scognet	    VM_PROT_READ|VM_PROT_WRITE, PTE_CACHE);
335171626Scognet	freemem_after = ((int)lastaddr + PAGE_SIZE) & ~(PAGE_SIZE - 1);
336171626Scognet	afterkern = round_page(((vm_offset_t)lastaddr + L1_S_SIZE) & ~(L1_S_SIZE
337171626Scognet	    - 1));
338171626Scognet	for (i = 0; i < KERNEL_PT_AFKERNEL_NUM; i++) {
339171626Scognet		pmap_link_l2pt(l1pagetable, afterkern + i * 0x00100000,
340171626Scognet		    &kernel_pt_table[KERNEL_PT_AFKERNEL + i]);
341171626Scognet	}
342171626Scognet
343171626Scognet
344171626Scognet#ifdef ARM_USE_SMALL_ALLOC
345171626Scognet	if ((freemem_after + 2 * PAGE_SIZE) <= afterkern) {
346171626Scognet		arm_add_smallalloc_pages((void *)(freemem_after),
347171626Scognet		    (void*)(freemem_after + PAGE_SIZE),
348171626Scognet		    afterkern - (freemem_after + PAGE_SIZE), 0);
349171626Scognet
350171626Scognet	}
351171626Scognet#endif
352171626Scognet
353171626Scognet	/* Map the vector page. */
354171626Scognet	pmap_map_entry(l1pagetable, ARM_VECTORS_HIGH, systempage.pv_pa,
355171626Scognet	    VM_PROT_READ|VM_PROT_WRITE, PTE_CACHE);
356171626Scognet	pmap_devmap_bootstrap(l1pagetable, iq81342_devmap);
357171626Scognet	/*
358171626Scognet	 * Give the XScale global cache clean code an appropriately
359171626Scognet	 * sized chunk of unmapped VA space starting at 0xff000000
360171626Scognet	 * (our device mappings end before this address).
361171626Scognet	 */
362171626Scognet	xscale_cache_clean_addr = 0xff000000U;
363171626Scognet
364171626Scognet	cpu_domains((DOMAIN_CLIENT << (PMAP_DOMAIN_KERNEL*2)) | DOMAIN_CLIENT);
365171626Scognet	setttb(kernel_l1pt.pv_pa);
366171626Scognet	cpu_tlb_flushID();
367171626Scognet	cpu_domains(DOMAIN_CLIENT << (PMAP_DOMAIN_KERNEL*2));
368171626Scognet	/*
369171626Scognet	 * Pages were allocated during the secondary bootstrap for the
370171626Scognet	 * stacks for different CPU modes.
371171626Scognet	 * We must now set the r13 registers in the different CPU modes to
372171626Scognet	 * point to these stacks.
373171626Scognet	 * Since the ARM stacks use STMFD etc. we must set r13 to the top end
374171626Scognet	 * of the stack memory.
375171626Scognet	 */
376171626Scognet
377171626Scognet
378171626Scognet	set_stackptr(PSR_IRQ32_MODE,
379171626Scognet	    irqstack.pv_va + IRQ_STACK_SIZE * PAGE_SIZE);
380171626Scognet	set_stackptr(PSR_ABT32_MODE,
381171626Scognet	    abtstack.pv_va + ABT_STACK_SIZE * PAGE_SIZE);
382171626Scognet	set_stackptr(PSR_UND32_MODE,
383171626Scognet	    undstack.pv_va + UND_STACK_SIZE * PAGE_SIZE);
384171626Scognet
385171626Scognet
386171626Scognet
387171626Scognet	/*
388171626Scognet	 * We must now clean the cache again....
389171626Scognet	 * Cleaning may be done by reading new data to displace any
390171626Scognet	 * dirty data in the cache. This will have happened in setttb()
391171626Scognet	 * but since we are boot strapping the addresses used for the read
392171626Scognet	 * may have just been remapped and thus the cache could be out
393171626Scognet	 * of sync. A re-clean after the switch will cure this.
394171626Scognet	 * After booting there are no gross reloations of the kernel thus
395171626Scognet	 * this problem will not occur after initarm().
396171626Scognet	 */
397171626Scognet	cpu_idcache_wbinv_all();
398171626Scognet	i80321_calibrate_delay();
399171626Scognet	i81342_sdram_bounds(&obio_bs_tag, IOP34X_VADDR, &memstart, &memsize);
400171626Scognet	physmem = memsize / PAGE_SIZE;
401171626Scognet	cninit();
402171626Scognet	/* Set stack for exception handlers */
403171626Scognet
404171626Scognet	data_abort_handler_address = (u_int)data_abort_handler;
405171626Scognet	prefetch_abort_handler_address = (u_int)prefetch_abort_handler;
406171626Scognet	undefined_handler_address = (u_int)undefinedinstruction_bounce;
407171626Scognet	undefined_init();
408171626Scognet
409171626Scognet#ifdef KSE
410171626Scognet	proc_linkup(&proc0, &ksegrp0, &thread0);
411171626Scognet#else
412171626Scognet	proc_linkup(&proc0, &thread0);
413171626Scognet#endif
414171626Scognet	thread0.td_kstack = kernelstack.pv_va;
415171626Scognet	thread0.td_pcb = (struct pcb *)
416171626Scognet		(thread0.td_kstack + KSTACK_PAGES * PAGE_SIZE) - 1;
417171626Scognet	thread0.td_pcb->pcb_flags = 0;
418171626Scognet	thread0.td_frame = &proc0_tf;
419171626Scognet	pcpup->pc_curpcb = thread0.td_pcb;
420171626Scognet
421171626Scognet	arm_vector_init(ARM_VECTORS_HIGH, ARM_VEC_ALL);
422171626Scognet
423171626Scognet	pmap_curmaxkvaddr = afterkern + PAGE_SIZE;
424171626Scognet	/*
425171626Scognet	 * ARM_USE_SMALL_ALLOC uses dump_avail, so it must be filled before
426171626Scognet	 * calling pmap_bootstrap.
427171626Scognet	 */
428171626Scognet	dump_avail[0] = 0x00000000;
429171626Scognet	dump_avail[1] = 0x00000000 + memsize;
430171626Scognet	dump_avail[2] = 0;
431171626Scognet	dump_avail[3] = 0;
432171626Scognet
433171626Scognet	pmap_bootstrap(pmap_curmaxkvaddr,
434171626Scognet	    0xd0000000, &kernel_l1pt);
435171626Scognet	msgbufp = (void*)msgbufpv.pv_va;
436171626Scognet	msgbufinit(msgbufp, MSGBUF_SIZE);
437171626Scognet	mutex_init();
438171626Scognet
439171626Scognet	i = 0;
440171626Scognet#ifdef ARM_USE_SMALL_ALLOC
441171626Scognet	phys_avail[i++] = 0x00000000;
442171626Scognet	phys_avail[i++] = 0x00001000; 	/*
443171626Scognet					 *XXX: Gross hack to get our
444171626Scognet					 * pages in the vm_page_array
445171626Scognet					 . */
446171626Scognet#endif
447171626Scognet	phys_avail[i++] = round_page(virtual_avail - KERNBASE + SDRAM_START);
448171626Scognet	phys_avail[i++] = trunc_page(0x00000000 + memsize - 1);
449171626Scognet	phys_avail[i++] = 0;
450171626Scognet	phys_avail[i] = 0;
451171626Scognet
452171626Scognet	/* Do basic tuning, hz etc */
453171626Scognet	init_param1();
454171626Scognet	init_param2(physmem);
455171626Scognet	kdb_init();
456171626Scognet	return ((void *)(kernelstack.pv_va + USPACE_SVC_STACK_TOP -
457171626Scognet	    sizeof(struct pcb)));
458171626Scognet}
459