kgdb_copy
static inline void kgdb_copy(char *, char *, int);
kgdb_copy((void *)&tf->tf_global[1], (void *)&gdb_regs[1], 15 * 4);
kgdb_copy((void *)tf->tf_out[6], (void *)&gdb_regs[GDB_L0], 16 * 4);
kgdb_copy((void *)&gdb_regs[1], (void *)&tf->tf_global[1], 15 * 4);
kgdb_copy((void *)&gdb_regs[GDB_L0], (void *)tf->tf_out[6], 16 * 4);
static inline void kgdb_copy(register char *, register char *, register int);
kgdb_copy((void *)&tf->tf_global[1], (void *)&gdb_regs[1], 15 * 8);
kgdb_copy((void *)(long)tf->tf_out[6], (void *)&gdb_regs[GDB_L0], 16 * 8);
kgdb_copy((void *)&gdb_regs[1], (void *)&tf->tf_global[1], 15 * 8);
kgdb_copy((void *)&gdb_regs[GDB_L0], (void *)(long)tf->tf_out[6], 16 * 8);
kgdb_copy(bp + 3, bp, len);