Defined in 1 files as a variable:

Defined in 3 files as a member:

Defined in 2 files as a function:

Referenced in 14 files:

Smatch caller information:

kernel/locking/lockdep.c check_irq_usage() -> state_name()

Type Parameter Key Value
PARAM_VALUE 0 bit 0-7
FUZZY_MAX 0 bit 0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 flags

kernel/locking/lockdep.c check_usage_backwards() -> state_name()

Type Parameter Key Value
PARAM_VALUE 0 bit 0,2,4,6
DATA_SOURCE 0 bit $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING

kernel/locking/lockdep.c check_usage_backwards() -> state_name()

Type Parameter Key Value
PARAM_VALUE 0 bit 1,3,5,7
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING

kernel/locking/lockdep.c check_usage_forwards() -> state_name()

Type Parameter Key Value
PARAM_VALUE 0 bit 0,2,4,6
DATA_SOURCE 0 bit $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING

kernel/locking/lockdep.c check_usage_forwards() -> state_name()

Type Parameter Key Value
PARAM_VALUE 0 bit 1,3,5,7
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING