Defined in 1 files as a struct:

Defined in 3 files as a member:

Defined in 1 files as a function:

Referenced in 71 files:

Smatch caller information:

fs/locks.c __locks_wake_up_blocks() -> file_lock()

Type Parameter Key Value
PARAM_VALUE 0 flc 4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &blocked_lock_lock
HALF_LOCKED2 &ctx->flc_lock

fs/locks.c lock_get_status() -> file_lock()

Type Parameter Key Value
PARAM_VALUE 0 flc 4096-ptr_max
DATA_SOURCE 0 flc $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 &f->lock
HALF_LOCKED2 &ctx->flc_lock
TYPE_LOCK (struct seq_file)->lock

fs/locks.c locks_delete_lock_ctx() -> file_lock()

Type Parameter Key Value
PARAM_VALUE 0 flc 4096-ptr_max
DATA_SOURCE 0 flc $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 &ctx->flc_lock
TYPE_LOCK (struct file_lock_context)->flc_lock

fs/locks.c locks_dispose_list() -> file_lock()

Type Parameter Key Value
PARAM_VALUE 0 flc 4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING

fs/locks.c posix_locks_conflict() -> file_lock()

Type Parameter Key Value
PARAM_VALUE 0 flc 4096-ptr_max
BUF_SIZE 0 flc (-1),192
BUF_SIZE 0 flc (-1),192
DATA_SOURCE 0 flc $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 flc->flc_type 0-2
LOCK2 &ctx->flc_lock
HALF_LOCKED2 global &blocked_lock_lock
TYPE_LOCK (struct file_lock_context)->flc_lock

fs/locks.c posix_locks_conflict() -> file_lock()

Type Parameter Key Value
BUF_SIZE 0 flc (-1),192
BUF_SIZE 0 flc (-1),192
BUF_SIZE 0 flc->flc_file (-1),4,24,64,168-s32max
BUF_SIZE 0 flc->flc_owner (-1),4,24,64,168-s32max
DATA_SOURCE 0 flc $1
NOSPEC 0 flc->flc_type
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 flc->flc_type 0-2
LOCK2 &ctx->flc_lock
HALF_LOCKED2 global &blocked_lock_lock
TYPE_LOCK (struct file_lock_context)->flc_lock