arch_kgdb_breakpoint
void arch_kgdb_breakpoint(void);
STACK_FRAME_NON_STANDARD(arch_kgdb_breakpoint);
extern void arch_kgdb_breakpoint(void);
void arch_kgdb_breakpoint(void);
void arch_kgdb_breakpoint(void);
if (linux_regs->pc == (unsigned long) arch_kgdb_breakpoint) {
if (linux_regs->tpc == (unsigned long) arch_kgdb_breakpoint) {
arch_kgdb_breakpoint();