SYSCALL_DEFINE3(read, unsigned int, fd, char __user *, buf, size_t, count) {
struct file *file; ssize_t ret = -EBADF; int fput_needed;
file = fget_light(fd, &fput_needed);
if (file) { loff_t pos = file_pos_read(file); ret = vfs_read(file, buf, count, &pos); file_pos_write(file, pos); fput_light(file, fput_needed); }
return ret; }