Symbol: gdb_cpu_breakpoint