Symbol: KDB_SP_DEFAULT
kernel/debug/kdb/kdb_bp.c
239
kdb_symbol_print(bp->bp_addr, NULL, KDB_SP_DEFAULT);
kernel/debug/kdb/kdb_main.c
1048
kdb_symbol_print(value, NULL, KDB_SP_DEFAULT);