Symbol: db_pmap_cmd
sys/arch/sparc64/sparc64/db_interface.c
1091
{ DDB_ADD_CMD("pmap", db_pmap_cmd, 0,
sys/arch/sparc64/sparc64/db_interface.c
118
void db_pmap_cmd(db_expr_t, bool, db_expr_t, const char *);