Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/lockd/svclock.c nlmsvc_grant_deferred() -> nlm_compare_locks()

Type Parameter Key Value
PARAM_VALUE 0 fl1 4096-ptr_max
BUF_SIZE 1 fl2 1-s32max
BUF_SIZE 1 fl2 1-s32max
DATA_SOURCE 1 fl2 $0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &nlm_blocked_lock

fs/lockd/svclock.c nlmsvc_lookup_block() -> nlm_compare_locks()

Type Parameter Key Value
PARAM_VALUE 0 fl1 4096-ptr_max
PARAM_VALUE 1 fl2 4096-ptr_max
PARAM_VALUE 1 fl2->c.flc_type 0-2
PARAM_VALUE 1 fl2->fl_end 0-s64max
PARAM_VALUE 1 fl2->fl_start 0-s64max
BUF_SIZE 0 fl1 256
PREEMPT_ADD <- disables preempt
LOCK2 &file->f_mutex
LOCK2 global &nlm_blocked_lock
TYPE_LOCK (struct nlm_file)->f_mutex

fs/lockd/svclock.c nlmsvc_notify_blocked() -> nlm_compare_locks()

Type Parameter Key Value
PARAM_VALUE 0 fl1 4096-ptr_max
PARAM_VALUE 1 fl2 4096-ptr_max
DATA_SOURCE 1 fl2 $0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &blocked_lock_lock
LOCK2 global &nlm_blocked_lock
HALF_LOCKED2 &ctx->flc_lock