Symbol: db_ttbrdump
sys/arch/aarch64/aarch64/db_machdep.c
571
db_ttbrdump(countmode, addr, db_printf);
sys/arch/aarch64/include/db_machdep.h
224
void db_ttbrdump(bool, vaddr_t, void (*pr)(const char *, ...) __printflike(1, 2));