Symbol: db_pteinfo
sys/arch/aarch64/aarch64/db_machdep.c
510
db_pteinfo(addr, db_printf);
sys/arch/aarch64/include/db_machdep.h
222
void db_pteinfo(vaddr_t, void (*)(const char *, ...) __printflike(1, 2));