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.

MFC after:	1 month
Sponsored by:	ABT Systems Ltd
This commit is contained in:
andrew 2016-08-27 10:30:20 +00:00
parent 01f8cf8652
commit 2a1daa1aaa

View File

@ -1089,7 +1089,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");
}