instrument_copy_from_user_after
instrument_copy_from_user_after(old, uaddr, sizeof(*old), 0); \
instrument_copy_from_user_after(uval, uaddr, sizeof(*uval), 0);
instrument_copy_from_user_after(to, from, n, ret);
instrument_copy_from_user_after(dst, (void __user *)src, len, \
instrument_copy_from_user_after(to, from, n, res);
instrument_copy_from_user_after(to, from, n, res);
instrument_copy_from_user_after(to, from, n, res);
instrument_copy_from_user_after(to, iter_from, len, res);