Open Menu /

Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

fs/read_write.c __kernel_read() -> inc_syscr()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/read_write.c do_preadv() -> inc_syscr()

Type Parameter Key Value
NOCHECK_CALL

fs/read_write.c do_readv() -> inc_syscr()

Type Parameter Key Value
NOCHECK_CALL

fs/read_write.c do_sendfile() -> inc_syscr()

Type Parameter Key Value
NOCHECK_CALL

fs/read_write.c vfs_copy_file_range() -> inc_syscr()

Type Parameter Key Value
RX_PATH
NOCHECK_CALL
HALF_LOCKED2 &inode_out->i_rwsem
HALF_LOCKED2 &pool->lock

fs/read_write.c vfs_read() -> inc_syscr()

Type Parameter Key Value
NOCHECK_CALL

fs/btrfs/ioctl.c btrfs_ioctl_encoded_read() -> inc_syscr()

Type Parameter Key Value
CAPABLE 0 21
NOCHECK_CALL

fs/btrfs/ioctl.c btrfs_uring_encoded_read() -> inc_syscr()

Type Parameter Key Value
CAPABLE 0 21
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ctx->uring_lock