Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ipa/ipa_smp2p.c ipa_smp2p_init() -> ipa_smp2p_panic_notifier_register()

Type Parameter Key Value
PARAM_VALUE 0 smp2p 4096-ptr_max
PARAM_VALUE 0 smp2p->enabled_bit 0-31
PARAM_VALUE 0 smp2p->enabled_state 4096-ptr_max
PARAM_VALUE 0 smp2p->ipa 4096-ptr_max
PARAM_VALUE 0 smp2p->ipa->completion.done 0
PARAM_VALUE 0 smp2p->ipa->completion.wait.lock.magic 3735899821
PARAM_VALUE 0 smp2p->ipa->completion.wait.lock.owner (-1)
PARAM_VALUE 0 smp2p->ipa->completion.wait.lock.owner_cpu u32max
PARAM_VALUE 0 smp2p->ipa->completion.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 smp2p->ipa->completion.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 0 smp2p->ipa->defined 4096-ptr_max
PARAM_VALUE 0 smp2p->ipa->dev 4096-ptr_max
PARAM_VALUE 0 smp2p->ipa->enabled 16,4096-ptr_max
PARAM_VALUE 0 smp2p->ipa->endpoint_count 1-256
PARAM_VALUE 0 smp2p->ipa->filter_count 1-643
PARAM_VALUE 0 smp2p->ipa->filtered 1-u32max
PARAM_VALUE 0 smp2p->ipa->gsi.completion.done 0
PARAM_VALUE 0 smp2p->ipa->gsi.completion.wait.lock.magic 3735899821
PARAM_VALUE 0 smp2p->ipa->gsi.completion.wait.lock.owner (-1)
PARAM_VALUE 0 smp2p->ipa->gsi.completion.wait.lock.owner_cpu u32max
PARAM_VALUE 0 smp2p->ipa->gsi.completion.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 smp2p->ipa->gsi.completion.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 0 smp2p->ipa->gsi.dev 4096-ptr_max
PARAM_VALUE 0 smp2p->ipa->gsi.dummy_dev 1-u64max
PARAM_VALUE 0 smp2p->ipa->gsi.event_bitmap 4026661888
PARAM_VALUE 0 smp2p->ipa->gsi.ieob_enabled_bitmap 0
PARAM_VALUE 0 smp2p->ipa->gsi.irq 1-s32max
PARAM_VALUE 0 smp2p->ipa->gsi.regs 1479825309112836096,1610083503881510912,1656524727556907008,6352922440179556352,7568750102333579264,8497498110091747328,8892306621150019584
PARAM_VALUE 0 smp2p->ipa->gsi.version 1,3,6-11,13-14
PARAM_VALUE 0 smp2p->ipa->gsi.virt 4096-ptr_max
PARAM_VALUE 0 smp2p->ipa->imem_iova 0,4096-u64max
PARAM_VALUE 0 smp2p->ipa->imem_size 4096-u64max
PARAM_VALUE 0 smp2p->ipa->interrupt 4096-ptr_max
PARAM_VALUE 0 smp2p->ipa->mem 4096-ptr_max
PARAM_VALUE 0 smp2p->ipa->mem_count 15,18,22-25
PARAM_VALUE 0 smp2p->ipa->mem_virt 1-u64max
PARAM_VALUE 0 smp2p->ipa->modem_route_count 1-u32max
PARAM_VALUE 0 smp2p->ipa->power 4096-ptr_max
PARAM_VALUE 0 smp2p->ipa->route_count 2-644
PARAM_VALUE 0 smp2p->ipa->set_up 16,4096-ptr_max
PARAM_VALUE 0 smp2p->ipa->smem_iova 0,4096-u64max
PARAM_VALUE 0 smp2p->ipa->smem_size 4096-u64max
PARAM_VALUE 0 smp2p->ipa->table_virt 4096-ptr_max
PARAM_VALUE 0 smp2p->ipa->version 1,3,6-11,13-14
PARAM_VALUE 0 smp2p->mutex.dep_map->name 0-255
PARAM_VALUE 0 smp2p->mutex.first_waiter 0
PARAM_VALUE 0 smp2p->mutex.magic 4096-ptr_max
PARAM_VALUE 0 smp2p->mutex.osq.tail.counter 0
PARAM_VALUE 0 smp2p->mutex.owner.counter 0
PARAM_VALUE 0 smp2p->valid_bit 0-31
PARAM_VALUE 0 smp2p->valid_state 4096-ptr_max
BUF_SIZE 0 smp2p 224
BUF_SIZE 0 smp2p->ipa 34128
CAPPED_DATA 0 smp2p->ipa->endpoint_count 1
CAPPED_DATA 0 smp2p->ipa->filter_count 1
CAPPED_DATA 0 smp2p->ipa->mem_count 1
CAPPED_DATA 0 smp2p->ipa->mem_offset 1
DATA_SOURCE 0 smp2p r _kzalloc_noprof
BIT_INFO 0 smp2p->clock_query_irq 0x0,0x7fffffff
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 smp2p->clock_query_irq
NO_OVERFLOW_SIMPLE 0 smp2p->ipa->gsi.irq