Symbol: db_md_pte_cmd
sys/arch/aarch64/aarch64/db_machdep.c
148
"pte", db_md_pte_cmd, 0,
sys/arch/aarch64/aarch64/db_machdep.c
74
void db_md_pte_cmd(db_expr_t, bool, db_expr_t, const char *);