Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 curr 4096-ptr_max
PARAM_VALUE 1 this 4096-ptr_max
PARAM_VALUE 2 prev_bit 0-7
PARAM_VALUE 3 new_bit 0-7
DATA_SOURCE 0 curr $0
DATA_SOURCE 1 this $1
DATA_SOURCE 2 prev_bit $3
DATA_SOURCE 3 new_bit $2
FUZZY_MAX 3 new_bit 7
HARD_MAX 3 new_bit 7
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 1 this 19230304796065792
PARAM_VALUE 1 this->hardirqs_off 1
PARAM_VALUE 1 this->irq_context 2
PARAM_VALUE 1 this->trylock 0
PARAM_VALUE 2 prev_bit 8
PARAM_VALUE 3 new_bit 10
DATA_SOURCE 1 this $1
NOCHECK_CALL