Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/acpi/acpi_processor.c acpi_processor_extract_lpi_info() -> flatten_lpi_states()

Type Parameter Key Value
PARAM_VALUE 0 handle 0,4096-ptr_max,(-1)
PARAM_VALUE 1 lpi_states 4096-ptr_max
PARAM_VALUE 2 state_count 1-u32max
PARAM_VALUE 3 curr 8782828168669790208,8782828168669790216
PARAM_VALUE 3 curr->composite_states_size 0
PARAM_VALUE 3 curr->entries 4096-ptr_max
PARAM_VALUE 3 curr->size 1-u32max
PARAM_VALUE 4 prev 8782828168669790208,8782828168669790216
PARAM_VALUE 4 prev->composite_states_size 0-2
PARAM_VALUE 4 prev->entries 4096-ptr_max
PARAM_VALUE 4 prev->size 1-u32max
BUF_SIZE 1 lpi_states 576
BUF_SIZE 3 curr 80,160
BUF_SIZE 3 curr 80,160
BUF_SIZE 4 prev 80,160
BUF_SIZE 4 prev 80,160
CAPPED_DATA 4 prev->composite_states_size 1
CAPPED_DATA 4 prev->size 1
DATA_SOURCE 0 handle $0
PARAM_COMPARE 4 prev != $3
BIT_INFO 3 curr 0x79e2dfaf9cdb8000,0x79e2dfaf9cdb8008
BIT_INFO 3 curr 0x79e2dfaf9cdb8000,0x79e2dfaf9cdb8008
BIT_INFO 4 prev 0x79e2dfaf9cdb8000,0x79e2dfaf9cdb8008
BIT_INFO 4 prev 0x79e2dfaf9cdb8000,0x79e2dfaf9cdb8008
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 3 curr->size
NO_OVERFLOW_SIMPLE 4 prev->size