2 * Copyright (c) 2014 Andrew Turner
3 * Copyright (c) 2015-2017 Ruslan Bukin <br@bsdpad.com>
6 * Portions of this software were developed by SRI International and the
7 * University of Cambridge Computer Laboratory under DARPA/AFRL contract
8 * FA8750-10-C-0237 ("CTSRD"), as part of the DARPA CRASH research programme.
10 * Portions of this software were developed by the University of Cambridge
11 * Computer Laboratory as part of the CTSRD Project, with support from the
12 * UK Higher Education Innovation Fund (HEIF).
14 * Redistribution and use in source and binary forms, with or without
15 * modification, are permitted provided that the following conditions
17 * 1. Redistributions of source code must retain the above copyright
18 * notice, this list of conditions and the following disclaimer.
19 * 2. Redistributions in binary form must reproduce the above copyright
20 * notice, this list of conditions and the following disclaimer in the
21 * documentation and/or other materials provided with the distribution.
23 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
24 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
25 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
26 * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
27 * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
28 * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
29 * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
30 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
31 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
32 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
36 #include "opt_platform.h"
38 #include <sys/cdefs.h>
39 __FBSDID("$FreeBSD$");
41 #include <sys/param.h>
42 #include <sys/systm.h>
47 #include <sys/devmap.h>
49 #include <sys/imgact.h>
51 #include <sys/kernel.h>
53 #include <sys/limits.h>
54 #include <sys/linker.h>
55 #include <sys/msgbuf.h>
58 #include <sys/ptrace.h>
59 #include <sys/reboot.h>
60 #include <sys/rwlock.h>
61 #include <sys/sched.h>
62 #include <sys/signalvar.h>
63 #include <sys/syscallsubr.h>
64 #include <sys/sysent.h>
65 #include <sys/sysproto.h>
66 #include <sys/tslog.h>
67 #include <sys/ucontext.h>
68 #include <sys/vmmeter.h>
71 #include <vm/vm_param.h>
72 #include <vm/vm_kern.h>
73 #include <vm/vm_object.h>
74 #include <vm/vm_page.h>
75 #include <vm/vm_phys.h>
77 #include <vm/vm_map.h>
78 #include <vm/vm_pager.h>
80 #include <machine/riscvreg.h>
81 #include <machine/cpu.h>
82 #include <machine/kdb.h>
83 #include <machine/machdep.h>
84 #include <machine/pcb.h>
85 #include <machine/reg.h>
86 #include <machine/trap.h>
87 #include <machine/vmparam.h>
88 #include <machine/intr.h>
89 #include <machine/sbi.h>
91 #include <machine/asm.h>
94 #include <machine/fpe.h>
98 #include <dev/fdt/fdt_common.h>
99 #include <dev/ofw/openfirm.h>
102 struct pcpu __pcpu[MAXCPU];
104 static struct trapframe proc0_tf;
111 #define DTB_SIZE_MAX (1024 * 1024)
113 vm_paddr_t physmap[PHYS_AVAIL_ENTRIES];
116 struct kva_md_info kmi;
118 int64_t dcache_line_size; /* The minimum D cache line size */
119 int64_t icache_line_size; /* The minimum I cache line size */
120 int64_t idcache_line_size; /* The minimum cache line size */
122 uint32_t boot_hart; /* The hart we booted on. */
126 extern int *initstack_end;
129 cpu_startup(void *dummy)
134 printf("real memory = %ju (%ju MB)\n", ptoa((uintmax_t)realmem),
135 ptoa((uintmax_t)realmem) / (1024 * 1024));
138 * Display any holes after the first chunk of extended memory.
143 printf("Physical memory chunk(s):\n");
144 for (indx = 0; phys_avail[indx + 1] != 0; indx += 2) {
147 size = phys_avail[indx + 1] - phys_avail[indx];
149 "0x%016jx - 0x%016jx, %ju bytes (%ju pages)\n",
150 (uintmax_t)phys_avail[indx],
151 (uintmax_t)phys_avail[indx + 1] - 1,
152 (uintmax_t)size, (uintmax_t)size / PAGE_SIZE);
156 vm_ksubmap_init(&kmi);
158 printf("avail memory = %ju (%ju MB)\n",
159 ptoa((uintmax_t)vm_free_count()),
160 ptoa((uintmax_t)vm_free_count()) / (1024 * 1024));
162 devmap_print_table();
165 vm_pager_bufferinit();
168 SYSINIT(cpu, SI_SUB_CPU, SI_ORDER_FIRST, cpu_startup, NULL);
171 cpu_idle_wakeup(int cpu)
178 fill_regs(struct thread *td, struct reg *regs)
180 struct trapframe *frame;
182 frame = td->td_frame;
183 regs->sepc = frame->tf_sepc;
184 regs->sstatus = frame->tf_sstatus;
185 regs->ra = frame->tf_ra;
186 regs->sp = frame->tf_sp;
187 regs->gp = frame->tf_gp;
188 regs->tp = frame->tf_tp;
190 memcpy(regs->t, frame->tf_t, sizeof(regs->t));
191 memcpy(regs->s, frame->tf_s, sizeof(regs->s));
192 memcpy(regs->a, frame->tf_a, sizeof(regs->a));
198 set_regs(struct thread *td, struct reg *regs)
200 struct trapframe *frame;
202 frame = td->td_frame;
203 frame->tf_sepc = regs->sepc;
204 frame->tf_ra = regs->ra;
205 frame->tf_sp = regs->sp;
206 frame->tf_gp = regs->gp;
207 frame->tf_tp = regs->tp;
209 memcpy(frame->tf_t, regs->t, sizeof(frame->tf_t));
210 memcpy(frame->tf_s, regs->s, sizeof(frame->tf_s));
211 memcpy(frame->tf_a, regs->a, sizeof(frame->tf_a));
217 fill_fpregs(struct thread *td, struct fpreg *regs)
224 if ((pcb->pcb_fpflags & PCB_FP_STARTED) != 0) {
226 * If we have just been running FPE instructions we will
227 * need to save the state to memcpy it below.
232 memcpy(regs->fp_x, pcb->pcb_x, sizeof(regs->fp_x));
233 regs->fp_fcsr = pcb->pcb_fcsr;
236 memset(regs, 0, sizeof(*regs));
242 set_fpregs(struct thread *td, struct fpreg *regs)
245 struct trapframe *frame;
248 frame = td->td_frame;
251 memcpy(pcb->pcb_x, regs->fp_x, sizeof(regs->fp_x));
252 pcb->pcb_fcsr = regs->fp_fcsr;
253 pcb->pcb_fpflags |= PCB_FP_STARTED;
254 frame->tf_sstatus &= ~SSTATUS_FS_MASK;
255 frame->tf_sstatus |= SSTATUS_FS_CLEAN;
262 fill_dbregs(struct thread *td, struct dbreg *regs)
265 panic("fill_dbregs");
269 set_dbregs(struct thread *td, struct dbreg *regs)
276 ptrace_set_pc(struct thread *td, u_long addr)
279 td->td_frame->tf_sepc = addr;
284 ptrace_single_step(struct thread *td)
292 ptrace_clear_single_step(struct thread *td)
300 exec_setregs(struct thread *td, struct image_params *imgp, u_long stack)
302 struct trapframe *tf;
308 memset(tf, 0, sizeof(struct trapframe));
311 tf->tf_sp = STACKALIGN(stack);
312 tf->tf_ra = imgp->entry_addr;
313 tf->tf_sepc = imgp->entry_addr;
315 pcb->pcb_fpflags &= ~PCB_FP_STARTED;
318 /* Sanity check these are the same size, they will be memcpy'd to and fro */
319 CTASSERT(sizeof(((struct trapframe *)0)->tf_a) ==
320 sizeof((struct gpregs *)0)->gp_a);
321 CTASSERT(sizeof(((struct trapframe *)0)->tf_s) ==
322 sizeof((struct gpregs *)0)->gp_s);
323 CTASSERT(sizeof(((struct trapframe *)0)->tf_t) ==
324 sizeof((struct gpregs *)0)->gp_t);
325 CTASSERT(sizeof(((struct trapframe *)0)->tf_a) ==
326 sizeof((struct reg *)0)->a);
327 CTASSERT(sizeof(((struct trapframe *)0)->tf_s) ==
328 sizeof((struct reg *)0)->s);
329 CTASSERT(sizeof(((struct trapframe *)0)->tf_t) ==
330 sizeof((struct reg *)0)->t);
332 /* Support for FDT configurations only. */
336 get_mcontext(struct thread *td, mcontext_t *mcp, int clear_ret)
338 struct trapframe *tf = td->td_frame;
340 memcpy(mcp->mc_gpregs.gp_t, tf->tf_t, sizeof(mcp->mc_gpregs.gp_t));
341 memcpy(mcp->mc_gpregs.gp_s, tf->tf_s, sizeof(mcp->mc_gpregs.gp_s));
342 memcpy(mcp->mc_gpregs.gp_a, tf->tf_a, sizeof(mcp->mc_gpregs.gp_a));
344 if (clear_ret & GET_MC_CLEAR_RET) {
345 mcp->mc_gpregs.gp_a[0] = 0;
346 mcp->mc_gpregs.gp_t[0] = 0; /* clear syscall error */
349 mcp->mc_gpregs.gp_ra = tf->tf_ra;
350 mcp->mc_gpregs.gp_sp = tf->tf_sp;
351 mcp->mc_gpregs.gp_gp = tf->tf_gp;
352 mcp->mc_gpregs.gp_tp = tf->tf_tp;
353 mcp->mc_gpregs.gp_sepc = tf->tf_sepc;
354 mcp->mc_gpregs.gp_sstatus = tf->tf_sstatus;
360 set_mcontext(struct thread *td, mcontext_t *mcp)
362 struct trapframe *tf;
366 memcpy(tf->tf_t, mcp->mc_gpregs.gp_t, sizeof(tf->tf_t));
367 memcpy(tf->tf_s, mcp->mc_gpregs.gp_s, sizeof(tf->tf_s));
368 memcpy(tf->tf_a, mcp->mc_gpregs.gp_a, sizeof(tf->tf_a));
370 tf->tf_ra = mcp->mc_gpregs.gp_ra;
371 tf->tf_sp = mcp->mc_gpregs.gp_sp;
372 tf->tf_gp = mcp->mc_gpregs.gp_gp;
373 tf->tf_sepc = mcp->mc_gpregs.gp_sepc;
374 tf->tf_sstatus = mcp->mc_gpregs.gp_sstatus;
380 get_fpcontext(struct thread *td, mcontext_t *mcp)
387 curpcb = curthread->td_pcb;
389 KASSERT(td->td_pcb == curpcb, ("Invalid fpe pcb"));
391 if ((curpcb->pcb_fpflags & PCB_FP_STARTED) != 0) {
393 * If we have just been running FPE instructions we will
394 * need to save the state to memcpy it below.
398 KASSERT((curpcb->pcb_fpflags & ~PCB_FP_USERMASK) == 0,
399 ("Non-userspace FPE flags set in get_fpcontext"));
400 memcpy(mcp->mc_fpregs.fp_x, curpcb->pcb_x,
401 sizeof(mcp->mc_fpregs));
402 mcp->mc_fpregs.fp_fcsr = curpcb->pcb_fcsr;
403 mcp->mc_fpregs.fp_flags = curpcb->pcb_fpflags;
404 mcp->mc_flags |= _MC_FP_VALID;
412 set_fpcontext(struct thread *td, mcontext_t *mcp)
419 if ((mcp->mc_flags & _MC_FP_VALID) != 0) {
420 curpcb = curthread->td_pcb;
421 /* FPE usage is enabled, override registers. */
422 memcpy(curpcb->pcb_x, mcp->mc_fpregs.fp_x,
423 sizeof(mcp->mc_fpregs));
424 curpcb->pcb_fcsr = mcp->mc_fpregs.fp_fcsr;
425 curpcb->pcb_fpflags = mcp->mc_fpregs.fp_flags & PCB_FP_USERMASK;
439 if (!sched_runnable())
454 __asm __volatile("wfi");
458 * Flush the D-cache for non-DMA I/O so that the I-cache can
459 * be made coherent later.
462 cpu_flush_dcache(void *ptr, size_t len)
468 /* Get current clock frequency for the given CPU ID. */
470 cpu_est_clockrate(int cpu_id, uint64_t *rate)
473 panic("cpu_est_clockrate");
477 cpu_pcpu_init(struct pcpu *pcpu, int cpuid, size_t size)
488 if (td->td_md.md_spinlock_count == 0) {
489 reg = intr_disable();
490 td->td_md.md_spinlock_count = 1;
491 td->td_md.md_saved_sstatus_ie = reg;
493 td->td_md.md_spinlock_count++;
501 register_t sstatus_ie;
505 sstatus_ie = td->td_md.md_saved_sstatus_ie;
506 td->td_md.md_spinlock_count--;
507 if (td->td_md.md_spinlock_count == 0)
508 intr_restore(sstatus_ie);
511 #ifndef _SYS_SYSPROTO_H_
512 struct sigreturn_args {
518 sys_sigreturn(struct thread *td, struct sigreturn_args *uap)
526 if (copyin(uap->sigcntxp, &uc, sizeof(uc)))
530 * Make sure the processor mode has not been tampered with and
531 * interrupts have not been disabled.
532 * Supervisor interrupts in user mode are always enabled.
534 sstatus = uc.uc_mcontext.mc_gpregs.gp_sstatus;
535 if ((sstatus & SSTATUS_SPP) != 0)
538 error = set_mcontext(td, &uc.uc_mcontext);
542 set_fpcontext(td, &uc.uc_mcontext);
544 /* Restore signal mask. */
545 kern_sigprocmask(td, SIG_SETMASK, &uc.uc_sigmask, NULL, 0);
547 return (EJUSTRETURN);
551 * Construct a PCB from a trapframe. This is called from kdb_trap() where
552 * we want to start a backtrace from the function that caused us to enter
553 * the debugger. We have the context in the trapframe, but base the trace
554 * on the PCB. The PCB doesn't have to be perfect, as long as it contains
555 * enough for a backtrace.
558 makectx(struct trapframe *tf, struct pcb *pcb)
561 memcpy(pcb->pcb_t, tf->tf_t, sizeof(tf->tf_t));
562 memcpy(pcb->pcb_s, tf->tf_s, sizeof(tf->tf_s));
563 memcpy(pcb->pcb_a, tf->tf_a, sizeof(tf->tf_a));
565 pcb->pcb_ra = tf->tf_ra;
566 pcb->pcb_sp = tf->tf_sp;
567 pcb->pcb_gp = tf->tf_gp;
568 pcb->pcb_tp = tf->tf_tp;
569 pcb->pcb_sepc = tf->tf_sepc;
573 sendsig(sig_t catcher, ksiginfo_t *ksi, sigset_t *mask)
575 struct sigframe *fp, frame;
576 struct sysentvec *sysent;
577 struct trapframe *tf;
586 PROC_LOCK_ASSERT(p, MA_OWNED);
588 sig = ksi->ksi_signo;
590 mtx_assert(&psp->ps_mtx, MA_OWNED);
593 onstack = sigonstack(tf->tf_sp);
595 CTR4(KTR_SIG, "sendsig: td=%p (%s) catcher=%p sig=%d", td, p->p_comm,
598 /* Allocate and validate space for the signal handler context. */
599 if ((td->td_pflags & TDP_ALTSTACK) != 0 && !onstack &&
600 SIGISMEMBER(psp->ps_sigonstack, sig)) {
601 fp = (struct sigframe *)((uintptr_t)td->td_sigstk.ss_sp +
602 td->td_sigstk.ss_size);
604 fp = (struct sigframe *)td->td_frame->tf_sp;
607 /* Make room, keeping the stack aligned */
609 fp = (struct sigframe *)STACKALIGN(fp);
611 /* Fill in the frame to copy out */
612 bzero(&frame, sizeof(frame));
613 get_mcontext(td, &frame.sf_uc.uc_mcontext, 0);
614 get_fpcontext(td, &frame.sf_uc.uc_mcontext);
615 frame.sf_si = ksi->ksi_info;
616 frame.sf_uc.uc_sigmask = *mask;
617 frame.sf_uc.uc_stack = td->td_sigstk;
618 frame.sf_uc.uc_stack.ss_flags = (td->td_pflags & TDP_ALTSTACK) != 0 ?
619 (onstack ? SS_ONSTACK : 0) : SS_DISABLE;
620 mtx_unlock(&psp->ps_mtx);
621 PROC_UNLOCK(td->td_proc);
623 /* Copy the sigframe out to the user's stack. */
624 if (copyout(&frame, fp, sizeof(*fp)) != 0) {
625 /* Process has trashed its stack. Kill it. */
626 CTR2(KTR_SIG, "sendsig: sigexit td=%p fp=%p", td, fp);
632 tf->tf_a[1] = (register_t)&fp->sf_si;
633 tf->tf_a[2] = (register_t)&fp->sf_uc;
635 tf->tf_sepc = (register_t)catcher;
636 tf->tf_sp = (register_t)fp;
638 sysent = p->p_sysent;
639 if (sysent->sv_sigcode_base != 0)
640 tf->tf_ra = (register_t)sysent->sv_sigcode_base;
642 tf->tf_ra = (register_t)(sysent->sv_psstrings -
643 *(sysent->sv_szsigcode));
645 CTR3(KTR_SIG, "sendsig: return td=%p pc=%#x sp=%#x", td, tf->tf_sepc,
649 mtx_lock(&psp->ps_mtx);
653 init_proc0(vm_offset_t kstack)
659 proc_linkup0(&proc0, &thread0);
660 thread0.td_kstack = kstack;
661 thread0.td_pcb = (struct pcb *)(thread0.td_kstack) - 1;
662 thread0.td_pcb->pcb_fpflags = 0;
663 thread0.td_frame = &proc0_tf;
664 pcpup->pc_curpcb = thread0.td_pcb;
668 add_physmap_entry(uint64_t base, uint64_t length, vm_paddr_t *physmap,
671 u_int i, insert_idx, _physmap_idx;
673 _physmap_idx = *physmap_idxp;
679 * Find insertion point while checking for overlap. Start off by
680 * assuming the new entry will be added to the end.
682 insert_idx = _physmap_idx;
683 for (i = 0; i <= _physmap_idx; i += 2) {
684 if (base < physmap[i + 1]) {
685 if (base + length <= physmap[i]) {
689 if (boothowto & RB_VERBOSE)
691 "Overlapping memory regions, ignoring second region\n");
696 /* See if we can prepend to the next entry. */
697 if (insert_idx <= _physmap_idx &&
698 base + length == physmap[insert_idx]) {
699 physmap[insert_idx] = base;
703 /* See if we can append to the previous entry. */
704 if (insert_idx > 0 && base == physmap[insert_idx - 1]) {
705 physmap[insert_idx - 1] += length;
710 *physmap_idxp = _physmap_idx;
711 if (_physmap_idx == PHYS_AVAIL_ENTRIES) {
713 "Too many segments in the physical address map, giving up\n");
718 * Move the last 'N' entries down to make room for the new
721 for (i = _physmap_idx; i > insert_idx; i -= 2) {
722 physmap[i] = physmap[i - 2];
723 physmap[i + 1] = physmap[i - 1];
726 /* Insert the new entry. */
727 physmap[insert_idx] = base;
728 physmap[insert_idx + 1] = base + length;
730 printf("physmap[%d] = 0x%016lx\n", insert_idx, base);
731 printf("physmap[%d] = 0x%016lx\n", insert_idx + 1, base + length);
737 try_load_dtb(caddr_t kmdp, vm_offset_t dtbp)
740 #if defined(FDT_DTB_STATIC)
741 dtbp = (vm_offset_t)&fdt_static_dtb;
744 if (dtbp == (vm_offset_t)NULL) {
745 printf("ERROR loading DTB\n");
749 if (OF_install(OFW_FDT, 0) == FALSE)
750 panic("Cannot install FDT");
752 if (OF_init((void *)dtbp) != 0)
753 panic("OF_init failed with the found device tree");
763 dcache_line_size = 0;
764 icache_line_size = 0;
765 idcache_line_size = 0;
769 * Fake up a boot descriptor table.
770 * RISCVTODO: This needs to be done via loader (when it's available).
773 fake_preload_metadata(struct riscv_bootparams *rvbp __unused)
775 static uint32_t fake_preload[35];
777 vm_offset_t zstart = 0, zend = 0;
779 vm_offset_t lastaddr;
784 fake_preload[i++] = MODINFO_NAME;
785 fake_preload[i++] = strlen("kernel") + 1;
786 strcpy((char*)&fake_preload[i++], "kernel");
788 fake_preload[i++] = MODINFO_TYPE;
789 fake_preload[i++] = strlen("elf64 kernel") + 1;
790 strcpy((char*)&fake_preload[i++], "elf64 kernel");
792 fake_preload[i++] = MODINFO_ADDR;
793 fake_preload[i++] = sizeof(vm_offset_t);
794 *(vm_offset_t *)&fake_preload[i++] =
795 (vm_offset_t)(KERNBASE + KERNENTRY);
797 fake_preload[i++] = MODINFO_SIZE;
798 fake_preload[i++] = sizeof(vm_offset_t);
799 fake_preload[i++] = (vm_offset_t)&end -
800 (vm_offset_t)(KERNBASE + KERNENTRY);
805 if (*(uint32_t *)KERNVIRTADDR == MAGIC_TRAMP_NUMBER) {
806 fake_preload[i++] = MODINFO_METADATA|MODINFOMD_SSYM;
807 fake_preload[i++] = sizeof(vm_offset_t);
808 fake_preload[i++] = *(uint32_t *)(KERNVIRTADDR + 4);
809 fake_preload[i++] = MODINFO_METADATA|MODINFOMD_ESYM;
810 fake_preload[i++] = sizeof(vm_offset_t);
811 fake_preload[i++] = *(uint32_t *)(KERNVIRTADDR + 8);
812 lastaddr = *(uint32_t *)(KERNVIRTADDR + 8);
814 zstart = *(uint32_t *)(KERNVIRTADDR + 4);
815 db_fetch_ksymtab(zstart, zend);
819 lastaddr = (vm_offset_t)&end;
820 fake_preload[i++] = 0;
822 preload_metadata = (void *)fake_preload;
828 initriscv(struct riscv_bootparams *rvbp)
830 struct mem_region mem_regions[FDT_MEM_REGIONS];
832 vm_offset_t rstart, rend;
835 vm_offset_t lastaddr;
840 TSRAW(&thread0, TS_ENTER, __func__, NULL);
842 /* Set the pcpu data, this is needed by pmap_bootstrap */
844 pcpu_init(pcpup, 0, sizeof(struct pcpu));
845 pcpup->pc_hart = boot_hart;
847 /* Set the pcpu pointer */
848 __asm __volatile("mv tp, %0" :: "r"(pcpup));
850 PCPU_SET(curthread, &thread0);
852 /* Set the module data location */
853 lastaddr = fake_preload_metadata(rvbp);
855 /* Find the kernel address */
856 kmdp = preload_search_by_type("elf kernel");
858 kmdp = preload_search_by_type("elf64 kernel");
860 boothowto = RB_VERBOSE | RB_SINGLE;
861 boothowto = RB_VERBOSE;
866 try_load_dtb(kmdp, rvbp->dtbp_virt);
869 /* Load the physical memory ranges */
873 /* Grab physical memory regions information from device tree. */
874 if (fdt_get_mem_regions(mem_regions, &mem_regions_sz, NULL) != 0)
875 panic("Cannot get physical memory regions");
878 e = s + DTB_SIZE_MAX;
880 for (i = 0; i < mem_regions_sz; i++) {
881 rstart = mem_regions[i].mr_start;
882 rend = (mem_regions[i].mr_start + mem_regions[i].mr_size);
884 if ((rstart < s) && (rend > e)) {
885 /* Exclude DTB region. */
886 add_physmap_entry(rstart, (s - rstart), physmap, &physmap_idx);
887 add_physmap_entry(e, (rend - e), physmap, &physmap_idx);
889 add_physmap_entry(mem_regions[i].mr_start,
890 mem_regions[i].mr_size, physmap, &physmap_idx);
895 /* Do basic tuning, hz etc */
900 /* Bootstrap enough of pmap to enter the kernel proper */
901 kernlen = (lastaddr - KERNBASE);
902 pmap_bootstrap(rvbp->kern_l1pt, mem_regions[0].mr_start, kernlen);
904 /* Establish static device mappings */
905 devmap_bootstrap(0, NULL);
909 init_proc0(rvbp->kern_stack);
911 msgbufinit(msgbufp, msgbufsize);
913 init_param2(physmem);
923 bzero(void *buf, size_t len)