Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/dcache.c fast_dput() -> lockref_is_dead_or_zero()

Type Parameter Key Value
PARAM_VALUE 0 l 4096-ptr_max
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 &dentry->d_lockref.lock
HALF_LOCKED2 global &mount_lock.lock
TYPE_LOCK (struct lockref)->lock

fs/dcache.c select_collect() -> lockref_is_dead_or_zero()

Type Parameter Key Value
PARAM_VALUE 0 l 4096-ptr_max

fs/dcache.c select_collect2() -> lockref_is_dead_or_zero()

Type Parameter Key Value
PARAM_VALUE 0 l 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
LOCK2 &dentry->d_lockref.lock
HALF_LOCKED2 global &mount_lock.lock
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct lockref)->lock