kdb_putarea_size
extern int kdb_putarea_size(unsigned long, void *, size_t);
#define kdb_putarea(addr, x) kdb_putarea_size(addr, &(x), sizeof((x)))
