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