Defined in 2 files as a function:

Referenced in 5 files:

Smatch caller information:

fs/afs/flock.c afs_do_setlk() -> lock_is_read()

Type Parameter Key Value
PARAM_VALUE 0 fl 4096-ptr_max
PARAM_VALUE 0 fl->c.flc_type 0-1,3-255
BUF_SIZE 0 fl (-1)-s32max
BUF_SIZE 0 fl (-1)-s32max
BUF_SIZE 0 fl->c.flc_file (-1)-s32max
BUF_SIZE 0 fl->fl_lmops (-1),56
BUF_SIZE 0 fl->fl_ops 16
DATA_SOURCE 0 fl $1
BIT_INFO 0 fl->fl_u.afs.debug_id 0x0,0x7fffffff
NOSPEC 0 fl->fl_start
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 fl->c.flc_type 0-1
USER_DATA 0 fl->fl_start s64min-9223372036854775806[c][u]

fs/afs/flock.c afs_next_locker() -> lock_is_read()

Type Parameter Key Value
PARAM_VALUE 0 fl 4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 &vnode->lock
HALF_LOCKED2 &vnode->cb_lock.lock
TYPE_LOCK (struct afs_vnode)->lock

fs/ceph/locks.c ceph_flock() -> lock_is_read()

Type Parameter Key Value
PARAM_VALUE 0 fl 6679205499366121472,8240022910925856768
PARAM_VALUE 0 fl->c.flc_type 0-2
DATA_SOURCE 0 fl $2
BIT_INFO 0 fl->c.flc_flags 0x2,0xffffffffffffffff
MEM_ZERO 0 fl
RX_PATH
TASK_NOT_RUNNING

fs/ceph/locks.c ceph_lock() -> lock_is_read()

Type Parameter Key Value
PARAM_VALUE 0 fl 4096-ptr_max
BUF_SIZE 0 fl (-1),256
BUF_SIZE 0 fl (-1),256
BUF_SIZE 0 fl->fl_lmops (-1),56
DATA_SOURCE 0 fl $2
BIT_INFO 0 fl->c.flc_flags 0x1,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 fl->c.flc_type 0-2
USER_DATA 0 fl->fl_start s64min-9223372036854775806[c][u]

fs/smb/client/file.c cifs_read_flock() -> lock_is_read()

Type Parameter Key Value
PARAM_VALUE 0 fl 4096-ptr_max
PARAM_VALUE 0 fl->c.flc_type 0,3-255
BUF_SIZE 0 fl (-1)-s32max
BUF_SIZE 0 fl (-1)-s32max
BUF_SIZE 0 fl->c.flc_file (-1)-s32max
BUF_SIZE 0 fl->fl_lmops (-1),56
DATA_SOURCE 0 fl $0
NOSPEC 0 fl->fl_start
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 fl->c.flc_type 0
USER_DATA 0 fl->fl_start s64min-9223372036854775806[c][u]

fs/smb/server/vfs.c check_lock_range() -> lock_is_read()

Type Parameter Key Value
PARAM_VALUE 0 fl 4096-ptr_max
CAPPED_DATA 0 fl->fl_start 1
CAPPED_DATA 0 &fl->c.flc_list 1
PREEMPT_ADD <- disables preempt
LOCK2 &ctx->flc_lock
LOCK2 &pool->lock
TYPE_LOCK (struct file_lock_context)->flc_lock

fs/nfs/nfs4xdr.c nfs4_lock_type() -> lock_is_read()

Type Parameter Key Value
DATA_SOURCE 0 fl $0
RX_PATH
TASK_NOT_RUNNING