Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/liveupdate/luo_file.c luo_file_deserialize() -> luo_file_deserialize_one()

Type Parameter Key Value
PARAM_VALUE 0 file_set 4096-ptr_max
PARAM_VALUE 0 file_set->block_set.blocks.prev 4096-ptr_max
PARAM_VALUE 0 file_set->block_set.blocks.prev->next 4096-ptr_max
PARAM_VALUE 0 file_set->block_set.blocks.prev->next->next 4096-ptr_max
PARAM_VALUE 0 file_set->block_set.count_per_block 1-u64max
PARAM_VALUE 0 file_set->block_set.incoming 1
PARAM_VALUE 0 file_set->block_set.nblocks s64min-10000
PARAM_VALUE 0 file_set->files_list.next 4096-ptr_max
PARAM_VALUE 0 file_set->files_list.prev 4096-ptr_max
PARAM_VALUE 1 ser 1-u64max
DATA_SOURCE 0 file_set $0
DATA_SOURCE 1 ser r kho_block_set_it_read_entry
RX_PATH
TASK_NOT_RUNNING
LOCK2 _T->lock