Defined in 1 files as a prototype:

Defined in 1 files as a macro:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/md/bcache/request.c cached_dev_write_complete() -> up_read_non_owner()

Type Parameter Key Value
PARAM_VALUE 0 sem 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

kernel/bpf/task_iter.c mmap_read_unlock_non_owner() -> up_read_non_owner()

Type Parameter Key Value
NOCHECK_CALL

fs/nfs/unlink.c nfs_async_unlink_release() -> up_read_non_owner()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/nfs/unlink.c nfs_call_unlink() -> up_read_non_owner()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dentry->d_inode->i_rwsem
HALF_LOCKED2 &dentry->d_sb->s_vfs_rename_mutex
HALF_LOCKED2 &inode->i_lock

fs/nfs/unlink.c nfs_call_unlink() -> up_read_non_owner()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &alias->d_lockref.lock
HALF_LOCKED2 &dentry->d_inode->i_rwsem
HALF_LOCKED2 &dentry->d_sb->s_vfs_rename_mutex
HALF_LOCKED2 &inode->i_lock