instrument_copy_to_user
instrument_copy_to_user(dst, src, len);
instrument_copy_to_user(dst, src, len);
instrument_copy_to_user((void __user *)dst, src, len); \
instrument_copy_to_user(to, from, n);
instrument_copy_to_user(to, from, n);
instrument_copy_to_user(to, from, n);
instrument_copy_to_user(iter_to, from, len);
instrument_copy_to_user(iter_to, from, len);