__counted_by_ptr
char *buf __counted_by_ptr(len);
struct lkdtm_extra *extra __counted_by_ptr(nr_extra);
char *corename __counted_by_ptr(size);
void *buffer __counted_by_ptr(bufsize);
#ifndef __counted_by_ptr