kgdb_zero
static inline void kgdb_zero(char *, int);
kgdb_zero((void *)&gdb_regs[GDB_FP0], 32 * 4);
static inline void kgdb_zero(register char *, register int);
kgdb_zero((void *)&gdb_regs[GDB_FP0], 32 * 8);