Symbol: db_pmap_kernel
sys/arch/sparc64/sparc64/db_interface.c
1068
{ DDB_ADD_CMD("kmap", db_pmap_kernel, 0,
sys/arch/sparc64/sparc64/db_interface.c
116
void db_pmap_kernel(db_expr_t, bool, db_expr_t, const char *);