Symbol: kgdb_breakpoint