Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/pstore/platform.c pstore_get_backend_records() -> decompress_record()

Type Parameter Key Value
PARAM_VALUE 0 record 4096-ptr_max
PARAM_VALUE 0 record->ecc_notice_size 0,25,68
PARAM_VALUE 0 record->psi 4096-ptr_max
PARAM_VALUE 0 record->psi->close 0,3321278639428308992,5515834704256061440
PARAM_VALUE 0 record->psi->erase 0,4451702447908237312,4734612973301075968,7629166793652174848,8288129847783288832
PARAM_VALUE 0 record->psi->flags 0-180
PARAM_VALUE 0 record->psi->name 0,1661497184911249408,1963179212649250816,3888444569334206464,8852898807566860288
PARAM_VALUE 0 record->psi->open 0,1005792378885419008,2416685020030894080,4770405602810925056,7903176272497840128
PARAM_VALUE 0 record->psi->owner 0
PARAM_VALUE 0 record->psi->read 0,712613131869155328,1390013527937249280,2671302173785821184,5557151023405502464
PARAM_VALUE 0 record->psi->read_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 record->psi->read_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 record->psi->write 0,5454287162978439168,6197621226579496960,7347498244098494464,8580856886736502784
PARAM_VALUE 0 record->psi->write_user 0,152317941996113920,5709079919945093120
PARAM_VALUE 0 record->reason 0-4
PARAM_VALUE 0 record->size 1-s64max
PARAM_VALUE 0 record->time.tv_nsec 0
PARAM_VALUE 1 zstream 1868246297722322944
PARAM_VALUE 1 zstream->adler 0-1
PARAM_VALUE 1 zstream->avail_in 0
PARAM_VALUE 1 zstream->avail_out 0
PARAM_VALUE 1 zstream->msg 0
PARAM_VALUE 1 zstream->next_in 0
PARAM_VALUE 1 zstream->next_out 0
PARAM_VALUE 1 zstream->reserved 0
PARAM_VALUE 1 zstream->state 0,4096-ptr_max
PARAM_VALUE 1 zstream->total_in 0
PARAM_VALUE 1 zstream->total_out 0
PARAM_VALUE 1 zstream->workspace 0-18446744073709551614
BUF_SIZE 0 record 88
DATA_SOURCE 0 record r _kzalloc_noprof
MEM_ZERO 0 record
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 record->type 0-u32max
LOCK2 &psi->read_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 global &efivars_lock
HALF_LOCKED2 global &psinfo_lock
TYPE_LOCK (struct pstore_info)->read_mutex