Open Menu /

Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/cpuidle/governors/ladder.c ladder_select_state() -> ladder_do_selection()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 3 new_idx 0
BUF_SIZE 0 dev 0
DATA_SOURCE 0 dev $1
BIT_INFO 0 dev 0x0,0x0
NOCHECK_CALL
LOCK2 irq

drivers/cpuidle/governors/ladder.c ladder_select_state() -> ladder_do_selection()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->last_state_idx s32min-2147483646
PARAM_VALUE 1 ldev->states 4096-ptr_max
PARAM_VALUE 2 old_idx s32min-2147483646
PARAM_VALUE 3 new_idx (-2147483647)-s32max
BUF_SIZE 0 dev 0
CAPPED_DATA 2 old_idx 1
CAPPED_DATA 3 new_idx 1
DATA_SOURCE 0 dev $1
BIT_INFO 0 dev 0x0,0x0
NOCHECK_CALL
LOCK2 irq

drivers/cpuidle/governors/ladder.c ladder_select_state() -> ladder_do_selection()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->last_state_idx 1-s32max
PARAM_VALUE 1 ldev->states 4096-ptr_max
PARAM_VALUE 2 old_idx 1-s32max
BUF_SIZE 0 dev 0
CAPPED_DATA 3 new_idx 1
DATA_SOURCE 0 dev $1
PARAM_COMPARE 2 old_idx > $3
PARAM_COMPARE 3 new_idx < $2
BIT_INFO 0 dev 0x0,0x0
NOCHECK_CALL
LOCK2 irq

drivers/cpuidle/governors/ladder.c ladder_select_state() -> ladder_do_selection()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->last_state_idx 1-s32max
PARAM_VALUE 1 ldev->states 4096-ptr_max
PARAM_VALUE 2 old_idx 1-s32max
BUF_SIZE 0 dev 0
DATA_SOURCE 0 dev $1
BIT_INFO 0 dev 0x0,0x0
NOCHECK_CALL
LOCK2 irq