GDB_FP0
kgdb_zero((void *)&gdb_regs[GDB_FP0], 32 * 4);
kgdb_zero((void *)&gdb_regs[GDB_FP0], 32 * 8);