Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

fs/read_write.c __kernel_write_iter() -> inc_syscw()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/read_write.c do_pwritev() -> inc_syscw()

Type Parameter Key Value
NOCHECK_CALL

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

Type Parameter Key Value
NOCHECK_CALL

fs/read_write.c do_writev() -> inc_syscw()

Type Parameter Key Value
NOCHECK_CALL

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

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

fs/read_write.c vfs_write() -> inc_syscw()

Type Parameter Key Value
NOCHECK_CALL

fs/btrfs/ioctl.c btrfs_ioctl_encoded_write() -> inc_syscw()

Type Parameter Key Value
CAPABLE 0 21
NOCHECK_CALL

fs/btrfs/ioctl.c btrfs_uring_encoded_write() -> inc_syscw()

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