Defined in 1 files as a variable:

Defined in 1 files as a member:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

kernel/locking/lockdep.c lockdep_print_held_locks() -> print_lock()

Type Parameter Key Value
PARAM_VALUE 0 hlock 4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags
HALF_LOCKED2 rcu_read

kernel/locking/lockdep.c mark_lock() -> print_lock()

Type Parameter Key Value
PARAM_VALUE 0 hlock 4096-ptr_max
DATA_SOURCE 0 hlock $1
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

kernel/locking/lockdep.c print_bad_irq_dependency() -> print_lock()

Type Parameter Key Value
PARAM_VALUE 0 hlock 4096-ptr_max
PARAM_VALUE 0 hlock->check 1
PARAM_VALUE 0 hlock->instance 4096-ptr_max
PARAM_VALUE 0 hlock->trylock 0
PARAM_VALUE 0 hlock->waittime_stamp 0
DATA_SOURCE 0 hlock $6
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags

kernel/locking/lockdep.c print_bad_irq_dependency() -> print_lock()

Type Parameter Key Value
PARAM_VALUE 0 hlock 4096-ptr_max
PARAM_VALUE 0 hlock->check 1
DATA_SOURCE 0 hlock $5
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags

kernel/locking/lockdep.c print_chain_keys_held_locks() -> print_lock()

Type Parameter Key Value
PARAM_VALUE 0 hlock 4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags

kernel/locking/lockdep.c print_chain_keys_held_locks() -> print_lock()

Type Parameter Key Value
PARAM_VALUE 0 hlock 4096-ptr_max
PARAM_VALUE 0 hlock->check 1
PARAM_VALUE 0 hlock->instance 4096-ptr_max
PARAM_VALUE 0 hlock->trylock 0
PARAM_VALUE 0 hlock->waittime_stamp 0
DATA_SOURCE 0 hlock $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags

kernel/locking/lockdep.c print_circular_bug_header() -> print_lock()

Type Parameter Key Value
PARAM_VALUE 0 hlock 4096-ptr_max
PARAM_VALUE 0 hlock->check 1
PARAM_VALUE 0 hlock->instance 4096-ptr_max
PARAM_VALUE 0 hlock->trylock 0
PARAM_VALUE 0 hlock->waittime_stamp 0
DATA_SOURCE 0 hlock $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags

kernel/locking/lockdep.c print_circular_bug_header() -> print_lock()

Type Parameter Key Value
PARAM_VALUE 0 hlock 4096-ptr_max
PARAM_VALUE 0 hlock->check 1
DATA_SOURCE 0 hlock $3
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags

kernel/locking/lockdep.c print_deadlock_bug() -> print_lock()

Type Parameter Key Value
PARAM_VALUE 0 hlock 4096-ptr_max
PARAM_VALUE 0 hlock->check 1
DATA_SOURCE 0 hlock $2
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags

kernel/locking/lockdep.c print_deadlock_bug() -> print_lock()

Type Parameter Key Value
PARAM_VALUE 0 hlock 4096-ptr_max
DATA_SOURCE 0 hlock $1
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags

kernel/locking/lockdep.c print_freed_lock_bug() -> print_lock()

Type Parameter Key Value
PARAM_VALUE 0 hlock 4096-ptr_max
PARAM_VALUE 0 hlock->instance 0-18446744073709547519
CAPPED_DATA 0 hlock->instance 1
DATA_SOURCE 0 hlock $3
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 flags
HALF_LOCKED2 &file_priv->driver_priv->mutex
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 &nbd->config_lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &fcoe_config_mutex
HALF_LOCKED2 global &link_ops_rwsem
HALF_LOCKED2 global &ppp_mutex
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 irq

kernel/locking/lockdep.c print_irq_inversion_bug() -> print_lock()

Type Parameter Key Value
PARAM_VALUE 0 hlock 4096-ptr_max
DATA_SOURCE 0 hlock $3
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

kernel/locking/lockdep.c print_lock_invalid_wait_context() -> print_lock()

Type Parameter Key Value
PARAM_VALUE 0 hlock 4096-ptr_max
PARAM_VALUE 0 hlock->instance 4096-ptr_max
PARAM_VALUE 0 hlock->trylock 0
PARAM_VALUE 0 hlock->waittime_stamp 0
DATA_SOURCE 0 hlock $1
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags

kernel/locking/lockdep.c print_lock_nested_lock_not_held() -> print_lock()

Type Parameter Key Value
PARAM_VALUE 0 hlock 4096-ptr_max
PARAM_VALUE 0 hlock->instance 4096-ptr_max
PARAM_VALUE 0 hlock->nest_lock 1-u64max
PARAM_VALUE 0 hlock->sync 0
PARAM_VALUE 0 hlock->waittime_stamp 0
DATA_SOURCE 0 hlock $1
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags

kernel/locking/lockdep.c print_usage_bug() -> print_lock()

Type Parameter Key Value
PARAM_VALUE 0 hlock 4096-ptr_max
DATA_SOURCE 0 hlock $1
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL