Open Menu /

Defined in 1 files as a member:

Defined in 2 files as a function:

Referenced in 3 files:

Smatch caller information:

kernel/power/suspend.c enter_state() -> valid_state()

Type Parameter Key Value
PARAM_VALUE 0 state 2-3
DATA_SOURCE 0 state $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 global &autosleep_lock

kernel/power/suspend.c sleep_state_supported() -> valid_state()

Type Parameter Key Value
PARAM_VALUE 0 state s32min-0,2-s32max
DATA_SOURCE 0 state $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &system_transition_mutex

kernel/power/suspend.c suspend_set_ops() -> valid_state()

Type Parameter Key Value
PARAM_VALUE 0 state 2
LOCK2 global &system_transition_mutex

kernel/power/suspend.c suspend_set_ops() -> valid_state()

Type Parameter Key Value
PARAM_VALUE 0 state 3
LOCK2 global &system_transition_mutex

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

Type Parameter Key Value
PARAM_VALUE 0 state 4096-ptr_max
PARAM_VALUE 1 this 4096-ptr_max
PARAM_VALUE 2 new_bit 0-7
PARAM_VALUE 3 bad_bit 0,2,4,6
DATA_SOURCE 0 state $0
DATA_SOURCE 1 this $1
DATA_SOURCE 2 new_bit $2
DATA_SOURCE 3 bad_bit r exclusive_bit
FUZZY_MAX 2 new_bit 7
HARD_MAX 2 new_bit 7
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 0 state 4096-ptr_max
PARAM_VALUE 1 this 4096-ptr_max
PARAM_VALUE 2 new_bit 0-7
PARAM_VALUE 3 bad_bit 1,3,5,7
DATA_SOURCE 0 state $0
DATA_SOURCE 1 this $1
DATA_SOURCE 2 new_bit $2
FUZZY_MAX 2 new_bit 7
HARD_MAX 2 new_bit 7
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING