KDB_SP_DEFAULT    242 kernel/debug/kdb/kdb_bp.c 	kdb_symbol_print(bp->bp_addr, NULL, KDB_SP_DEFAULT);
KDB_SP_DEFAULT   1087 kernel/debug/kdb/kdb_main.c 		kdb_symbol_print(value, NULL, KDB_SP_DEFAULT);