Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/locking/lockdep.c assign_lock_key() -> static_obj()

Type Parameter Key Value
PARAM_VALUE 0 obj 4096-ptr_max
DATA_SOURCE 0 obj $0
STR_LEN 0 obj (-1),11,13
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 flags

kernel/locking/lockdep.c is_dynamic_key() -> static_obj()

Type Parameter Key Value
DATA_SOURCE 0 obj $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING

kernel/locking/lockdep.c lockdep_init_map_type() -> static_obj()

Type Parameter Key Value
DATA_SOURCE 0 obj $2

kernel/locking/lockdep.c lockdep_register_key() -> static_obj()

Type Parameter Key Value
PARAM_VALUE 0 obj 4096-ptr_max
BUF_SIZE 0 obj (-1),16
DATA_SOURCE 0 obj $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 global &comp_list_lock

kernel/locking/lockdep.c lockdep_unregister_key() -> static_obj()

Type Parameter Key Value
PARAM_VALUE 0 obj 4096-ptr_max
BUF_SIZE 0 obj (-1),16
DATA_SOURCE 0 obj $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 _T->lock

kernel/locking/lockdep.c register_lock_class() -> static_obj()

Type Parameter Key Value
PARAM_VALUE 0 obj 1-u64max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 flags