diff options
author | andrew <andrew@FreeBSD.org> | 2016-09-21 09:06:06 +0000 |
---|---|---|
committer | andrew <andrew@FreeBSD.org> | 2016-09-21 09:06:06 +0000 |
commit | ecb7e500a3f21e0a1cd560ef95bccaaa57c05c09 (patch) | |
tree | bd279140d920e31953bb5084e012df008aa41385 /sys/arm64 | |
parent | 681d3224ce1609470b69bbb22d1544def823d6f0 (diff) | |
download | FreeBSD-src-ecb7e500a3f21e0a1cd560ef95bccaaa57c05c09.zip FreeBSD-src-ecb7e500a3f21e0a1cd560ef95bccaaa57c05c09.tar.gz |
MFC r304892:
Print both the kernel read and write translation in DDB when asking for
a virtual to physical translation. These may be different, e.g. when a
page is mapped as read-only.
Sponsored by: ABT Systems Ltd
Diffstat (limited to 'sys/arm64')
-rw-r--r-- | sys/arm64/arm64/machdep.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/sys/arm64/arm64/machdep.c b/sys/arm64/arm64/machdep.c index 6f5d1a8..23839ff 100644 --- a/sys/arm64/arm64/machdep.c +++ b/sys/arm64/arm64/machdep.c @@ -1011,7 +1011,9 @@ DB_SHOW_COMMAND(vtop, db_show_vtop) if (have_addr) { phys = arm64_address_translate_s1e1r(addr); - db_printf("Physical address reg: 0x%016lx\n", phys); + db_printf("Physical address reg (read): 0x%016lx\n", phys); + phys = arm64_address_translate_s1e1w(addr); + db_printf("Physical address reg (write): 0x%016lx\n", phys); } else db_printf("show vtop <virt_addr>\n"); } |