Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/raid5-ppl.c ppl_init_log() -> ppl_load()

Type Parameter Key Value
PARAM_VALUE 0 ppl_conf 4096-ptr_max
PARAM_VALUE 0 ppl_conf->bs.back_pad 0,64
PARAM_VALUE 0 ppl_conf->bs.bio_pool.alloc 7276475779886346240
PARAM_VALUE 0 ppl_conf->bs.bio_pool.curr_nr 1-s32max
PARAM_VALUE 0 ppl_conf->bs.bio_pool.elements 1-u64max
PARAM_VALUE 0 ppl_conf->bs.bio_pool.free 8263660038527102976
PARAM_VALUE 0 ppl_conf->bs.bio_pool.min_nr s32min-64
PARAM_VALUE 0 ppl_conf->bs.bio_pool.pool_data 1-u64max
PARAM_VALUE 0 ppl_conf->bs.bio_pool.wait.head.next 4096-ptr_max
PARAM_VALUE 0 ppl_conf->bs.bio_pool.wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 ppl_conf->bs.bio_pool.wait.head.prev 4096-ptr_max
PARAM_VALUE 0 ppl_conf->bs.bio_pool.wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 ppl_conf->bs.bio_pool.wait.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 ppl_conf->bs.bio_slab 1-u64max
PARAM_VALUE 0 ppl_conf->bs.bvec_pool.alloc 7276475779886346240
PARAM_VALUE 0 ppl_conf->bs.bvec_pool.curr_nr 1-s32max
PARAM_VALUE 0 ppl_conf->bs.bvec_pool.elements 1-u64max
PARAM_VALUE 0 ppl_conf->bs.bvec_pool.free 8263660038527102976
PARAM_VALUE 0 ppl_conf->bs.bvec_pool.wait.head.next 4096-ptr_max
PARAM_VALUE 0 ppl_conf->bs.bvec_pool.wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 ppl_conf->bs.bvec_pool.wait.head.prev 4096-ptr_max
PARAM_VALUE 0 ppl_conf->bs.bvec_pool.wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 ppl_conf->bs.bvec_pool.wait.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 ppl_conf->bs.cache 0,4096-ptr_max
PARAM_VALUE 0 ppl_conf->bs.cpuhp_dead->pprev 4096-ptr_max
PARAM_VALUE 0 ppl_conf->bs.cpuhp_dead.pprev 4096-ptr_max
PARAM_VALUE 0 ppl_conf->bs.front_pad 0
PARAM_VALUE 0 ppl_conf->bs.rescue_list.head 0
PARAM_VALUE 0 ppl_conf->bs.rescue_list.tail 0
PARAM_VALUE 0 ppl_conf->bs.rescue_workqueue 0,4096-ptr_max
PARAM_VALUE 0 ppl_conf->child_logs 16,4096-ptr_max
PARAM_VALUE 0 ppl_conf->count s32min-64
PARAM_VALUE 0 ppl_conf->flush_bs.back_pad 0,64
PARAM_VALUE 0 ppl_conf->flush_bs.bio_pool.alloc 7276475779886346240
PARAM_VALUE 0 ppl_conf->flush_bs.bio_pool.curr_nr 1-s32max
PARAM_VALUE 0 ppl_conf->flush_bs.bio_pool.elements 1-u64max
PARAM_VALUE 0 ppl_conf->flush_bs.bio_pool.free 8263660038527102976
PARAM_VALUE 0 ppl_conf->flush_bs.bio_pool.min_nr s32min-64
PARAM_VALUE 0 ppl_conf->flush_bs.bio_pool.pool_data 1-u64max
PARAM_VALUE 0 ppl_conf->flush_bs.bio_pool.wait.head.next 4096-ptr_max
PARAM_VALUE 0 ppl_conf->flush_bs.bio_pool.wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 ppl_conf->flush_bs.bio_pool.wait.head.prev 4096-ptr_max
PARAM_VALUE 0 ppl_conf->flush_bs.bio_pool.wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 ppl_conf->flush_bs.bio_pool.wait.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 ppl_conf->flush_bs.bio_slab 1-u64max
PARAM_VALUE 0 ppl_conf->flush_bs.bvec_pool.alloc 7276475779886346240
PARAM_VALUE 0 ppl_conf->flush_bs.bvec_pool.curr_nr 1-s32max
PARAM_VALUE 0 ppl_conf->flush_bs.bvec_pool.elements 1-u64max
PARAM_VALUE 0 ppl_conf->flush_bs.bvec_pool.free 8263660038527102976
PARAM_VALUE 0 ppl_conf->flush_bs.bvec_pool.wait.head.next 4096-ptr_max
PARAM_VALUE 0 ppl_conf->flush_bs.bvec_pool.wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 ppl_conf->flush_bs.bvec_pool.wait.head.prev 4096-ptr_max
PARAM_VALUE 0 ppl_conf->flush_bs.bvec_pool.wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 ppl_conf->flush_bs.bvec_pool.wait.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 ppl_conf->flush_bs.cache 0,4096-ptr_max
PARAM_VALUE 0 ppl_conf->flush_bs.cpuhp_dead->pprev 4096-ptr_max
PARAM_VALUE 0 ppl_conf->flush_bs.cpuhp_dead.pprev 4096-ptr_max
PARAM_VALUE 0 ppl_conf->flush_bs.front_pad 0
PARAM_VALUE 0 ppl_conf->flush_bs.rescue_list.head 0
PARAM_VALUE 0 ppl_conf->flush_bs.rescue_list.tail 0
PARAM_VALUE 0 ppl_conf->flush_bs.rescue_workqueue 0,4096-ptr_max
PARAM_VALUE 0 ppl_conf->io_kc 4096-ptr_max
PARAM_VALUE 0 ppl_conf->io_kc->align 0,8-4294967295
PARAM_VALUE 0 ppl_conf->io_kc->allocflags 262144-262145,262148-262149,262160-262161,262164-262165
PARAM_VALUE 0 ppl_conf->io_kc->flags 0,8192-4294967295
PARAM_VALUE 0 ppl_conf->io_kc->kobj->name 0-255
PARAM_VALUE 0 ppl_conf->io_kc->kobj.kref.refcount.refs.counter 1
PARAM_VALUE 0 ppl_conf->io_kc->kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 ppl_conf->io_kc->kobj.state_initialized 1
PARAM_VALUE 0 ppl_conf->io_kc->list.prev 81474172537511936
PARAM_VALUE 0 ppl_conf->io_kc->min_partial 5-10
PARAM_VALUE 0 ppl_conf->io_kc->offset 0
PARAM_VALUE 0 ppl_conf->io_kc->refcount 1-s32max
PARAM_VALUE 0 ppl_conf->io_kc->remote_node_defrag_ratio 1000
PARAM_VALUE 0 ppl_conf->io_kc->sheaf_capacity 0-536870907,4294967292-4294967295
PARAM_VALUE 0 ppl_conf->io_pool.alloc 6490891138231738368
PARAM_VALUE 0 ppl_conf->io_pool.curr_nr 1-s32max
PARAM_VALUE 0 ppl_conf->io_pool.elements 1-u64max
PARAM_VALUE 0 ppl_conf->io_pool.free 1355979547979132928
PARAM_VALUE 0 ppl_conf->io_pool.min_nr s32min-64
PARAM_VALUE 0 ppl_conf->io_pool.pool_data 4096-ptr_max
PARAM_VALUE 0 ppl_conf->io_pool.wait.head.next 4096-ptr_max
PARAM_VALUE 0 ppl_conf->io_pool.wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 ppl_conf->io_pool.wait.head.prev 4096-ptr_max
PARAM_VALUE 0 ppl_conf->io_pool.wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 ppl_conf->io_pool.wait.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 ppl_conf->mddev 4096-ptr_max
PARAM_VALUE 0 ppl_conf->mddev->bitmap_info.file 0
PARAM_VALUE 0 ppl_conf->mddev->bitmap_info.offset 0
PARAM_VALUE 0 ppl_conf->mddev->level 5
PARAM_VALUE 0 ppl_conf->no_mem_stripes.next 4096-ptr_max
PARAM_VALUE 0 ppl_conf->no_mem_stripes.next->next 4096-ptr_max
PARAM_VALUE 0 ppl_conf->no_mem_stripes.prev 4096-ptr_max
PARAM_VALUE 0 ppl_conf->no_mem_stripes.prev->next 4096-ptr_max
PARAM_VALUE 0 ppl_conf->no_mem_stripes.prev->prev 4096-ptr_max
PARAM_VALUE 0 ppl_conf->seq.counter 0
BUF_SIZE 0 ppl_conf 1600
BUF_SIZE 0 ppl_conf->child_logs 0-u64max
CAPPED_DATA 0 ppl_conf->count 1
CAPPED_DATA 0 ppl_conf->io_kc->object_size 1
CAPPED_DATA 0 ppl_conf->io_kc->size 1
DATA_SOURCE 0 ppl_conf r _kzalloc_noprof
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 ppl_conf->count
HALF_LOCKED2 &md->suspend_lock
HALF_LOCKED2 &mddev->reconfig_mutex
HALF_LOCKED2 &of->mutex