Symbol: db_pmap_kernel
sys/arch/sparc64/sparc64/db_interface.c
1128
{ "kmap", db_pmap_kernel, 0, 0 },
sys/arch/sparc64/sparc64/db_interface.c
218
void db_pmap_kernel(db_expr_t, int, db_expr_t, char *);