keyctl_read_key
return keyctl_read_key(arg2, compat_ptr(arg3), arg4);
extern long keyctl_read_key(key_serial_t, char __user *, size_t);
return keyctl_read_key((key_serial_t) arg2,