Index: lib/libkvm/kvm_aarch64.c
===================================================================
RCS file: /cvsroot/src/lib/libkvm/kvm_aarch64.c,v
retrieving revision 1.6
diff -p -u -r1.6 kvm_aarch64.c
--- lib/libkvm/kvm_aarch64.c	18 Dec 2018 16:25:47 -0000	1.6
+++ lib/libkvm/kvm_aarch64.c	19 Dec 2018 09:10:27 -0000
@@ -64,6 +64,8 @@ _kvm_initvtop(kvm_t *kd)
 	return (0);
 }
 
+#define LOG(fmt, ...) printf("%s:%d: " fmt, __func__, __LINE__, ##__VA_ARGS__)
+
 int
 _kvm_kvatop(kvm_t *kd, vaddr_t va, paddr_t *pa)
 {
@@ -122,6 +124,8 @@ lose:
 
 	/* clear out the unused low bits of the table address */
 	paddr_t pte_addr = cpu_kh->kh_ttbr1 & TTBR_BADDR;
+LOG("page_shift %u page_size %lx page_mask %lx page_addr %lx pte_shift %x\n", page_shift, page_size, page_mask, page_addr, pte_shift);
+LOG("levels %u inputsz %u addr_shift %u pte_addr %lx\n", levels, inputsz, addr_shift, pte_addr);
 
 	for (;;) {
 		pt_entry_t pte;
@@ -129,13 +133,16 @@ lose:
 		/* now index into the pte table */
 		const u_int idx_mask =  __BITS(addr_shift + pte_shift - 1, addr_shift);
 		pte_addr += 8 * __SHIFTOUT(va, idx_mask);
+LOG("pte_addr %lx addr_shift %u\n", pte_addr, addr_shift);
 
 		/* Find and read the PTE. */
 		if (_kvm_pread(kd, kd->pmfd, &pte, sizeof(pte),
 		    _kvm_pa2off(kd, pte_addr)) != sizeof(pte)) {
+LOG("oink\n");
 			_kvm_syserr(kd, 0, "could not read pte");
 			goto lose;
 		}
+LOG("pte %lx\n", pte);
 
 		/* Find and read the L2 PTE. */
 		if ((pte & LX_VALID) == 0) {
@@ -148,10 +155,12 @@ lose:
 			const paddr_t blk_mask = __BITS(addr_shift - 1, 0);
 
 			*pa = (pte & page_addr & ~blk_mask) | (va & blk_mask);
+LOG("win1: pa %lx (blk_mask %lx)\n", (long)*pa, blk_mask);
 			return blk_size - (va & blk_mask);
 		}
 		if (--levels == 0) {
 			*pa = (pte & page_addr) | (va & page_mask);
+LOG("win2: pa %lx\n", (long)*pa);
 			return page_size - (va & page_mask); 
 		}
 
@@ -173,8 +182,10 @@ _kvm_pa2off(kvm_t *kd, paddr_t pa)
 	const cpu_kcore_hdr_t * const cpu_kh = kd->cpu_data;
 	off_t off = 0;
 
+LOG("pa %lx\n", pa);
 	for (const phys_ram_seg_t *ramsegs = cpu_kh->kh_ramsegs;
 	     ramsegs->size != 0; ramsegs++) {
+LOG("ramsegs->start %lx size %lx\n", ramsegs->start, ramsegs->size);
 		if (pa >= ramsegs->start
 		    && pa < ramsegs->start + ramsegs->size) {
 			off += pa - ramsegs->start;
@@ -183,6 +194,7 @@ _kvm_pa2off(kvm_t *kd, paddr_t pa)
 		off += ramsegs->size;
 	}
 
+LOG("returning %lx\n", kd->dump_off + off);
 	return kd->dump_off + off;
 }