Symbol: db_pmap_cmd
sys/arch/sparc64/sparc64/db_interface.c
1134
{ "pmap", db_pmap_cmd, 0, 0 },
sys/arch/sparc64/sparc64/db_interface.c
220
void db_pmap_cmd(db_expr_t, int, db_expr_t, char *);