Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/locks.c __do_sys_flock() -> security_file_lock()

Type Parameter Key Value
PARAM_VALUE 0 file 0,4-u64max
PARAM_VALUE 1 cmd 0-2

fs/locks.c __do_sys_flock() -> security_file_lock()

Type Parameter Key Value
PARAM_VALUE 0 file 0,4-u64max
PARAM_VALUE 1 cmd 0-2

fs/locks.c do_lock_file_wait() -> security_file_lock()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
PARAM_VALUE 1 cmd 0-2
DATA_SOURCE 0 file $0
USER_DATA 1 cmd 0-2

fs/locks.c vfs_setlease() -> security_file_lock()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
PARAM_VALUE 0 file->f_inode->i_sb 4096-ptr_max
PARAM_VALUE 0 file->f_path.mnt 4096-ptr_max
PARAM_VALUE 1 cmd 0-2
DATA_SOURCE 0 file $0
DATA_SOURCE 1 cmd $1
USER_DATA 1 cmd 0-1