Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/locks.c locks_show() -> get_next_blocked_member()

Type Parameter Key Value
PARAM_VALUE 0 node 4096-ptr_max
CAPPED_DATA 0 &node->flc_blocked_requests 1
PARAM_COMPARE 0 &node->flc_blocked_requests == $0->flc_blocked_requests.next
RX_PATH
TASK_NOT_RUNNING
LOCK2 &f->lock
TYPE_LOCK (struct seq_file)->lock

fs/locks.c locks_show() -> get_next_blocked_member()

Type Parameter Key Value
PARAM_VALUE 0 node 1-u64max
RX_PATH
TASK_NOT_RUNNING
LOCK2 &f->lock
TYPE_LOCK (struct seq_file)->lock