user_events_write_core
return user_events_write_core(file, &i);
return user_events_write_core(kp->ki_filp, i);