kdb_putword
diag = kdb_putword(addr, contents, width);
extern int kdb_putword(unsigned long, unsigned long, size_t);