2 * Copyright (c) 2014 Andrew Turner
5 * Redistribution and use in source and binary forms, with or without
6 * modification, are permitted provided that the following conditions
8 * 1. Redistributions of source code must retain the above copyright
9 * notice, this list of conditions and the following disclaimer.
10 * 2. Redistributions in binary form must reproduce the above copyright
11 * notice, this list of conditions and the following disclaimer in the
12 * documentation and/or other materials provided with the distribution.
14 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
15 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
16 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
17 * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
18 * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
19 * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
20 * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
21 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
22 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
23 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
28 #include "opt_platform.h"
31 #include <sys/cdefs.h>
32 __FBSDID("$FreeBSD$");
34 #include <sys/param.h>
35 #include <sys/systm.h>
42 #include <sys/imgact.h>
44 #include <sys/kernel.h>
45 #include <sys/limits.h>
46 #include <sys/linker.h>
47 #include <sys/msgbuf.h>
50 #include <sys/ptrace.h>
51 #include <sys/reboot.h>
52 #include <sys/rwlock.h>
53 #include <sys/sched.h>
54 #include <sys/signalvar.h>
55 #include <sys/syscallsubr.h>
56 #include <sys/sysent.h>
57 #include <sys/sysproto.h>
58 #include <sys/ucontext.h>
62 #include <vm/vm_kern.h>
63 #include <vm/vm_object.h>
64 #include <vm/vm_page.h>
66 #include <vm/vm_map.h>
67 #include <vm/vm_pager.h>
69 #include <machine/armreg.h>
70 #include <machine/cpu.h>
71 #include <machine/debug_monitor.h>
72 #include <machine/kdb.h>
73 #include <machine/devmap.h>
74 #include <machine/machdep.h>
75 #include <machine/metadata.h>
76 #include <machine/md_var.h>
77 #include <machine/pcb.h>
78 #include <machine/reg.h>
79 #include <machine/vmparam.h>
82 #include <machine/vfp.h>
86 #include <dev/ofw/openfirm.h>
89 struct pcpu __pcpu[MAXCPU];
91 static struct trapframe proc0_tf;
93 vm_paddr_t phys_avail[PHYS_AVAIL_SIZE + 2];
94 vm_paddr_t dump_avail[PHYS_AVAIL_SIZE + 2];
101 #define PHYSMAP_SIZE (2 * (VM_PHYSSEG_MAX - 1))
102 vm_paddr_t physmap[PHYSMAP_SIZE];
105 struct kva_md_info kmi;
107 int64_t dcache_line_size; /* The minimum D cache line size */
108 int64_t icache_line_size; /* The minimum I cache line size */
109 int64_t idcache_line_size; /* The minimum cache line size */
112 cpu_startup(void *dummy)
117 vm_ksubmap_init(&kmi);
119 vm_pager_bufferinit();
122 SYSINIT(cpu, SI_SUB_CPU, SI_ORDER_FIRST, cpu_startup, NULL);
125 cpu_idle_wakeup(int cpu)
132 bzero(void *buf, size_t len)
142 fill_regs(struct thread *td, struct reg *regs)
144 struct trapframe *frame;
146 frame = td->td_frame;
147 regs->sp = frame->tf_sp;
148 regs->lr = frame->tf_lr;
149 regs->elr = frame->tf_elr;
150 regs->spsr = frame->tf_spsr;
152 memcpy(regs->x, frame->tf_x, sizeof(regs->x));
158 set_regs(struct thread *td, struct reg *regs)
160 struct trapframe *frame;
162 frame = td->td_frame;
163 frame->tf_sp = regs->sp;
164 frame->tf_lr = regs->lr;
165 frame->tf_elr = regs->elr;
166 frame->tf_spsr = regs->spsr;
168 memcpy(frame->tf_x, regs->x, sizeof(frame->tf_x));
174 fill_fpregs(struct thread *td, struct fpreg *regs)
180 if ((pcb->pcb_fpflags & PCB_FP_STARTED) != 0) {
182 * If we have just been running VFP instructions we will
183 * need to save the state to memcpy it below.
185 vfp_save_state(td, pcb);
187 memcpy(regs->fp_q, pcb->pcb_vfp, sizeof(regs->fp_q));
188 regs->fp_cr = pcb->pcb_fpcr;
189 regs->fp_sr = pcb->pcb_fpsr;
192 memset(regs->fp_q, 0, sizeof(regs->fp_q));
197 set_fpregs(struct thread *td, struct fpreg *regs)
203 memcpy(pcb->pcb_vfp, regs->fp_q, sizeof(regs->fp_q));
204 pcb->pcb_fpcr = regs->fp_cr;
205 pcb->pcb_fpsr = regs->fp_sr;
211 fill_dbregs(struct thread *td, struct dbreg *regs)
214 panic("ARM64TODO: fill_dbregs");
218 set_dbregs(struct thread *td, struct dbreg *regs)
221 panic("ARM64TODO: set_dbregs");
225 ptrace_set_pc(struct thread *td, u_long addr)
228 panic("ARM64TODO: ptrace_set_pc");
233 ptrace_single_step(struct thread *td)
236 td->td_frame->tf_spsr |= PSR_SS;
237 td->td_pcb->pcb_flags |= PCB_SINGLE_STEP;
242 ptrace_clear_single_step(struct thread *td)
245 td->td_frame->tf_spsr &= ~PSR_SS;
246 td->td_pcb->pcb_flags &= ~PCB_SINGLE_STEP;
251 exec_setregs(struct thread *td, struct image_params *imgp, u_long stack)
253 struct trapframe *tf = td->td_frame;
255 memset(tf, 0, sizeof(struct trapframe));
258 * We need to set x0 for init as it doesn't call
259 * cpu_set_syscall_retval to copy the value. We also
260 * need to set td_retval for the cases where we do.
262 tf->tf_x[0] = td->td_retval[0] = stack;
263 tf->tf_sp = STACKALIGN(stack);
264 tf->tf_lr = imgp->entry_addr;
265 tf->tf_elr = imgp->entry_addr;
268 /* Sanity check these are the same size, they will be memcpy'd to and fro */
269 CTASSERT(sizeof(((struct trapframe *)0)->tf_x) ==
270 sizeof((struct gpregs *)0)->gp_x);
271 CTASSERT(sizeof(((struct trapframe *)0)->tf_x) ==
272 sizeof((struct reg *)0)->x);
275 get_mcontext(struct thread *td, mcontext_t *mcp, int clear_ret)
277 struct trapframe *tf = td->td_frame;
279 if (clear_ret & GET_MC_CLEAR_RET) {
280 mcp->mc_gpregs.gp_x[0] = 0;
281 mcp->mc_gpregs.gp_spsr = tf->tf_spsr & ~PSR_C;
283 mcp->mc_gpregs.gp_x[0] = tf->tf_x[0];
284 mcp->mc_gpregs.gp_spsr = tf->tf_spsr;
287 memcpy(&mcp->mc_gpregs.gp_x[1], &tf->tf_x[1],
288 sizeof(mcp->mc_gpregs.gp_x[1]) * (nitems(mcp->mc_gpregs.gp_x) - 1));
290 mcp->mc_gpregs.gp_sp = tf->tf_sp;
291 mcp->mc_gpregs.gp_lr = tf->tf_lr;
292 mcp->mc_gpregs.gp_elr = tf->tf_elr;
298 set_mcontext(struct thread *td, mcontext_t *mcp)
300 struct trapframe *tf = td->td_frame;
302 memcpy(tf->tf_x, mcp->mc_gpregs.gp_x, sizeof(tf->tf_x));
304 tf->tf_sp = mcp->mc_gpregs.gp_sp;
305 tf->tf_lr = mcp->mc_gpregs.gp_lr;
306 tf->tf_elr = mcp->mc_gpregs.gp_elr;
307 tf->tf_spsr = mcp->mc_gpregs.gp_spsr;
313 get_fpcontext(struct thread *td, mcontext_t *mcp)
320 curpcb = curthread->td_pcb;
322 if ((curpcb->pcb_fpflags & PCB_FP_STARTED) != 0) {
324 * If we have just been running VFP instructions we will
325 * need to save the state to memcpy it below.
327 vfp_save_state(td, curpcb);
329 memcpy(mcp->mc_fpregs.fp_q, curpcb->pcb_vfp,
330 sizeof(mcp->mc_fpregs));
331 mcp->mc_fpregs.fp_cr = curpcb->pcb_fpcr;
332 mcp->mc_fpregs.fp_sr = curpcb->pcb_fpsr;
333 mcp->mc_fpregs.fp_flags = curpcb->pcb_fpflags;
334 mcp->mc_flags |= _MC_FP_VALID;
342 set_fpcontext(struct thread *td, mcontext_t *mcp)
349 if ((mcp->mc_flags & _MC_FP_VALID) != 0) {
350 curpcb = curthread->td_pcb;
353 * Discard any vfp state for the current thread, we
354 * are about to override it.
358 memcpy(curpcb->pcb_vfp, mcp->mc_fpregs.fp_q,
359 sizeof(mcp->mc_fpregs));
360 curpcb->pcb_fpcr = mcp->mc_fpregs.fp_cr;
361 curpcb->pcb_fpsr = mcp->mc_fpregs.fp_sr;
362 curpcb->pcb_fpflags = mcp->mc_fpregs.fp_flags;
376 if (!sched_runnable())
389 /* We should have shutdown by now, if not enter a low power sleep */
392 __asm __volatile("wfi");
397 * Flush the D-cache for non-DMA I/O so that the I-cache can
398 * be made coherent later.
401 cpu_flush_dcache(void *ptr, size_t len)
407 /* Get current clock frequency for the given CPU ID. */
409 cpu_est_clockrate(int cpu_id, uint64_t *rate)
412 panic("ARM64TODO: cpu_est_clockrate");
416 cpu_pcpu_init(struct pcpu *pcpu, int cpuid, size_t size)
419 pcpu->pc_acpi_id = 0xffffffff;
429 if (td->td_md.md_spinlock_count == 0) {
430 daif = intr_disable();
431 td->td_md.md_spinlock_count = 1;
432 td->td_md.md_saved_daif = daif;
434 td->td_md.md_spinlock_count++;
446 daif = td->td_md.md_saved_daif;
447 td->td_md.md_spinlock_count--;
448 if (td->td_md.md_spinlock_count == 0)
452 #ifndef _SYS_SYSPROTO_H_
453 struct sigreturn_args {
459 sys_sigreturn(struct thread *td, struct sigreturn_args *uap)
466 if (copyin(uap->sigcntxp, &uc, sizeof(uc)))
469 spsr = uc.uc_mcontext.mc_gpregs.gp_spsr;
470 if ((spsr & PSR_M_MASK) != PSR_M_EL0t ||
471 (spsr & (PSR_F | PSR_I | PSR_A | PSR_D)) != 0)
474 set_mcontext(td, &uc.uc_mcontext);
475 set_fpcontext(td, &uc.uc_mcontext);
477 /* Restore signal mask. */
478 kern_sigprocmask(td, SIG_SETMASK, &uc.uc_sigmask, NULL, 0);
480 return (EJUSTRETURN);
484 * Construct a PCB from a trapframe. This is called from kdb_trap() where
485 * we want to start a backtrace from the function that caused us to enter
486 * the debugger. We have the context in the trapframe, but base the trace
487 * on the PCB. The PCB doesn't have to be perfect, as long as it contains
488 * enough for a backtrace.
491 makectx(struct trapframe *tf, struct pcb *pcb)
495 for (i = 0; i < PCB_LR; i++)
496 pcb->pcb_x[i] = tf->tf_x[i];
498 pcb->pcb_x[PCB_LR] = tf->tf_lr;
499 pcb->pcb_pc = tf->tf_elr;
500 pcb->pcb_sp = tf->tf_sp;
504 sendsig(sig_t catcher, ksiginfo_t *ksi, sigset_t *mask)
508 struct trapframe *tf;
509 struct sigframe *fp, frame;
511 struct sysentvec *sysent;
512 int code, onstack, sig;
516 PROC_LOCK_ASSERT(p, MA_OWNED);
518 sig = ksi->ksi_signo;
519 code = ksi->ksi_code;
521 mtx_assert(&psp->ps_mtx, MA_OWNED);
524 onstack = sigonstack(tf->tf_sp);
526 CTR4(KTR_SIG, "sendsig: td=%p (%s) catcher=%p sig=%d", td, p->p_comm,
529 /* Allocate and validate space for the signal handler context. */
530 if ((td->td_pflags & TDP_ALTSTACK) != 0 && !onstack &&
531 SIGISMEMBER(psp->ps_sigonstack, sig)) {
532 fp = (struct sigframe *)((uintptr_t)td->td_sigstk.ss_sp +
533 td->td_sigstk.ss_size);
534 #if defined(COMPAT_43)
535 td->td_sigstk.ss_flags |= SS_ONSTACK;
538 fp = (struct sigframe *)td->td_frame->tf_sp;
541 /* Make room, keeping the stack aligned */
543 fp = (struct sigframe *)STACKALIGN(fp);
545 /* Fill in the frame to copy out */
546 get_mcontext(td, &frame.sf_uc.uc_mcontext, 0);
547 get_fpcontext(td, &frame.sf_uc.uc_mcontext);
548 frame.sf_si = ksi->ksi_info;
549 frame.sf_uc.uc_sigmask = *mask;
550 frame.sf_uc.uc_stack.ss_flags = (td->td_pflags & TDP_ALTSTACK) ?
551 ((onstack) ? SS_ONSTACK : 0) : SS_DISABLE;
552 frame.sf_uc.uc_stack = td->td_sigstk;
553 mtx_unlock(&psp->ps_mtx);
554 PROC_UNLOCK(td->td_proc);
556 /* Copy the sigframe out to the user's stack. */
557 if (copyout(&frame, fp, sizeof(*fp)) != 0) {
558 /* Process has trashed its stack. Kill it. */
559 CTR2(KTR_SIG, "sendsig: sigexit td=%p fp=%p", td, fp);
565 tf->tf_x[1] = (register_t)&fp->sf_si;
566 tf->tf_x[2] = (register_t)&fp->sf_uc;
568 tf->tf_elr = (register_t)catcher;
569 tf->tf_sp = (register_t)fp;
570 sysent = p->p_sysent;
571 if (sysent->sv_sigcode_base != 0)
572 tf->tf_lr = (register_t)sysent->sv_sigcode_base;
574 tf->tf_lr = (register_t)(sysent->sv_psstrings -
575 *(sysent->sv_szsigcode));
577 CTR3(KTR_SIG, "sendsig: return td=%p pc=%#x sp=%#x", td, tf->tf_elr,
581 mtx_lock(&psp->ps_mtx);
585 init_proc0(vm_offset_t kstack)
587 struct pcpu *pcpup = &__pcpu[0];
589 proc_linkup0(&proc0, &thread0);
590 thread0.td_kstack = kstack;
591 thread0.td_pcb = (struct pcb *)(thread0.td_kstack) - 1;
592 thread0.td_pcb->pcb_fpflags = 0;
593 thread0.td_pcb->pcb_vfpcpu = UINT_MAX;
594 thread0.td_frame = &proc0_tf;
595 pcpup->pc_curpcb = thread0.td_pcb;
604 } EFI_MEMORY_DESCRIPTOR;
607 add_physmap_entry(uint64_t base, uint64_t length, vm_paddr_t *physmap,
610 u_int i, insert_idx, _physmap_idx;
612 _physmap_idx = *physmap_idxp;
618 * Find insertion point while checking for overlap. Start off by
619 * assuming the new entry will be added to the end.
621 insert_idx = _physmap_idx;
622 for (i = 0; i <= _physmap_idx; i += 2) {
623 if (base < physmap[i + 1]) {
624 if (base + length <= physmap[i]) {
628 if (boothowto & RB_VERBOSE)
630 "Overlapping memory regions, ignoring second region\n");
635 /* See if we can prepend to the next entry. */
636 if (insert_idx <= _physmap_idx &&
637 base + length == physmap[insert_idx]) {
638 physmap[insert_idx] = base;
642 /* See if we can append to the previous entry. */
643 if (insert_idx > 0 && base == physmap[insert_idx - 1]) {
644 physmap[insert_idx - 1] += length;
649 *physmap_idxp = _physmap_idx;
650 if (_physmap_idx == PHYSMAP_SIZE) {
652 "Too many segments in the physical address map, giving up\n");
657 * Move the last 'N' entries down to make room for the new
660 for (i = _physmap_idx; i > insert_idx; i -= 2) {
661 physmap[i] = physmap[i - 2];
662 physmap[i + 1] = physmap[i - 1];
665 /* Insert the new entry. */
666 physmap[insert_idx] = base;
667 physmap[insert_idx + 1] = base + length;
671 #define efi_next_descriptor(ptr, size) \
672 ((struct efi_md *)(((uint8_t *) ptr) + size))
675 add_efi_map_entries(struct efi_map_header *efihdr, vm_paddr_t *physmap,
678 struct efi_md *map, *p;
683 static const char *types[] = {
689 "RuntimeServicesCode",
690 "RuntimeServicesData",
691 "ConventionalMemory",
696 "MemoryMappedIOPortSpace",
701 * Memory map data provided by UEFI via the GetMemoryMap
704 efisz = (sizeof(struct efi_map_header) + 0xf) & ~0xf;
705 map = (struct efi_md *)((uint8_t *)efihdr + efisz);
707 if (efihdr->descriptor_size == 0)
709 ndesc = efihdr->memory_size / efihdr->descriptor_size;
711 if (boothowto & RB_VERBOSE)
712 printf("%23s %12s %12s %8s %4s\n",
713 "Type", "Physical", "Virtual", "#Pages", "Attr");
715 for (i = 0, p = map; i < ndesc; i++,
716 p = efi_next_descriptor(p, efihdr->descriptor_size)) {
717 if (boothowto & RB_VERBOSE) {
718 if (p->md_type <= EFI_MD_TYPE_PALCODE)
719 type = types[p->md_type];
722 printf("%23s %012lx %12p %08lx ", type, p->md_phys,
723 p->md_virt, p->md_pages);
724 if (p->md_attr & EFI_MD_ATTR_UC)
726 if (p->md_attr & EFI_MD_ATTR_WC)
728 if (p->md_attr & EFI_MD_ATTR_WT)
730 if (p->md_attr & EFI_MD_ATTR_WB)
732 if (p->md_attr & EFI_MD_ATTR_UCE)
734 if (p->md_attr & EFI_MD_ATTR_WP)
736 if (p->md_attr & EFI_MD_ATTR_RP)
738 if (p->md_attr & EFI_MD_ATTR_XP)
740 if (p->md_attr & EFI_MD_ATTR_RT)
745 switch (p->md_type) {
746 case EFI_MD_TYPE_CODE:
747 case EFI_MD_TYPE_DATA:
748 case EFI_MD_TYPE_BS_CODE:
749 case EFI_MD_TYPE_BS_DATA:
750 case EFI_MD_TYPE_FREE:
752 * We're allowed to use any entry with these types.
759 if (!add_physmap_entry(p->md_phys, (p->md_pages * PAGE_SIZE),
760 physmap, physmap_idxp))
767 try_load_dtb(caddr_t kmdp)
771 dtbp = MD_FETCH(kmdp, MODINFOMD_DTBP, vm_offset_t);
772 if (dtbp == (vm_offset_t)NULL) {
773 printf("ERROR loading DTB\n");
777 if (OF_install(OFW_FDT, 0) == FALSE)
778 panic("Cannot install FDT");
780 if (OF_init((void *)dtbp) != 0)
781 panic("OF_init failed with the found device tree");
788 int dcache_line_shift, icache_line_shift;
791 ctr_el0 = READ_SPECIALREG(ctr_el0);
793 /* Read the log2 words in each D cache line */
794 dcache_line_shift = CTR_DLINE_SIZE(ctr_el0);
795 /* Get the D cache line size */
796 dcache_line_size = sizeof(int) << dcache_line_shift;
798 /* And the same for the I cache */
799 icache_line_shift = CTR_ILINE_SIZE(ctr_el0);
800 icache_line_size = sizeof(int) << icache_line_shift;
802 idcache_line_size = MIN(dcache_line_size, icache_line_size);
806 initarm(struct arm64_bootparams *abp)
808 struct efi_map_header *efihdr;
810 vm_offset_t lastaddr;
815 /* Set the module data location */
816 preload_metadata = (caddr_t)(uintptr_t)(abp->modulep);
818 /* Find the kernel address */
819 kmdp = preload_search_by_type("elf kernel");
821 kmdp = preload_search_by_type("elf64 kernel");
823 boothowto = MD_FETCH(kmdp, MODINFOMD_HOWTO, int);
824 init_static_kenv(MD_FETCH(kmdp, MODINFOMD_ENVP, char *), 0);
830 /* Find the address to start allocating from */
831 lastaddr = MD_FETCH(kmdp, MODINFOMD_KERNEND, vm_offset_t);
833 /* Load the physical memory ranges */
835 efihdr = (struct efi_map_header *)preload_search_info(kmdp,
836 MODINFO_METADATA | MODINFOMD_EFI_MAP);
837 add_efi_map_entries(efihdr, physmap, &physmap_idx);
839 /* Print the memory map */
841 for (i = 0; i < physmap_idx; i += 2) {
842 dump_avail[i] = physmap[i];
843 dump_avail[i + 1] = physmap[i + 1];
844 mem_len += physmap[i + 1] - physmap[i];
847 dump_avail[i + 1] = 0;
849 /* Set the pcpu data, this is needed by pmap_bootstrap */
851 pcpu_init(pcpup, 0, sizeof(struct pcpu));
854 * Set the pcpu pointer with a backup in tpidr_el1 to be
855 * loaded when entering the kernel from userland.
859 "msr tpidr_el1, %0" :: "r"(pcpup));
861 PCPU_SET(curthread, &thread0);
863 /* Do basic tuning, hz etc */
868 /* Bootstrap enough of pmap to enter the kernel proper */
869 pmap_bootstrap(abp->kern_l1pt, KERNBASE - abp->kern_delta,
870 lastaddr - KERNBASE);
872 arm_devmap_bootstrap(0, NULL);
876 init_proc0(abp->kern_stack);
877 msgbufinit(msgbufp, msgbufsize);
879 init_param2(physmem);
887 uint32_t (*arm_cpu_fill_vdso_timehands)(struct vdso_timehands *,
888 struct timecounter *);
891 cpu_fill_vdso_timehands(struct vdso_timehands *vdso_th, struct timecounter *tc)
894 return (arm_cpu_fill_vdso_timehands != NULL ?
895 arm_cpu_fill_vdso_timehands(vdso_th, tc) : 0);
901 DB_SHOW_COMMAND(specialregs, db_show_spregs)
903 #define PRINT_REG(reg) \
904 db_printf(__STRING(reg) " = %#016lx\n", READ_SPECIALREG(reg))
906 PRINT_REG(actlr_el1);
907 PRINT_REG(afsr0_el1);
908 PRINT_REG(afsr1_el1);
910 PRINT_REG(amair_el1);
911 PRINT_REG(ccsidr_el1);
912 PRINT_REG(clidr_el1);
913 PRINT_REG(contextidr_el1);
914 PRINT_REG(cpacr_el1);
915 PRINT_REG(csselr_el1);
917 PRINT_REG(currentel);
919 PRINT_REG(dczid_el0);
924 /* ARM64TODO: Enable VFP before reading floating-point registers */
928 PRINT_REG(id_aa64afr0_el1);
929 PRINT_REG(id_aa64afr1_el1);
930 PRINT_REG(id_aa64dfr0_el1);
931 PRINT_REG(id_aa64dfr1_el1);
932 PRINT_REG(id_aa64isar0_el1);
933 PRINT_REG(id_aa64isar1_el1);
934 PRINT_REG(id_aa64pfr0_el1);
935 PRINT_REG(id_aa64pfr1_el1);
936 PRINT_REG(id_afr0_el1);
937 PRINT_REG(id_dfr0_el1);
938 PRINT_REG(id_isar0_el1);
939 PRINT_REG(id_isar1_el1);
940 PRINT_REG(id_isar2_el1);
941 PRINT_REG(id_isar3_el1);
942 PRINT_REG(id_isar4_el1);
943 PRINT_REG(id_isar5_el1);
944 PRINT_REG(id_mmfr0_el1);
945 PRINT_REG(id_mmfr1_el1);
946 PRINT_REG(id_mmfr2_el1);
947 PRINT_REG(id_mmfr3_el1);
949 /* Missing from llvm */
950 PRINT_REG(id_mmfr4_el1);
952 PRINT_REG(id_pfr0_el1);
953 PRINT_REG(id_pfr1_el1);
957 PRINT_REG(mpidr_el1);
958 PRINT_REG(mvfr0_el1);
959 PRINT_REG(mvfr1_el1);
960 PRINT_REG(mvfr2_el1);
961 PRINT_REG(revidr_el1);
962 PRINT_REG(sctlr_el1);
967 PRINT_REG(tpidr_el0);
968 PRINT_REG(tpidr_el1);
969 PRINT_REG(tpidrro_el0);
970 PRINT_REG(ttbr0_el1);
971 PRINT_REG(ttbr1_el1);
976 DB_SHOW_COMMAND(vtop, db_show_vtop)
981 phys = arm64_address_translate_s1e1r(addr);
982 db_printf("Physical address reg: 0x%016lx\n", phys);
984 db_printf("show vtop <virt_addr>\n");