Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ipa/gsi.c gsi_channel_evt_ring_init() -> gsi_evt_ring_id_alloc()

Type Parameter Key Value
PARAM_VALUE 0 gsi 4096-ptr_max
PARAM_VALUE 0 gsi->completion.done 0
PARAM_VALUE 0 gsi->completion.wait.lock.magic 3735899821
PARAM_VALUE 0 gsi->completion.wait.lock.owner (-1)
PARAM_VALUE 0 gsi->completion.wait.lock.owner_cpu u32max
PARAM_VALUE 0 gsi->completion.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 gsi->completion.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 0 gsi->dev 4096-ptr_max
PARAM_VALUE 0 gsi->dummy_dev 1-u64max
PARAM_VALUE 0 gsi->event_bitmap 4026661888
PARAM_VALUE 0 gsi->ieob_enabled_bitmap 0
PARAM_VALUE 0 gsi->irq 1-s32max
PARAM_VALUE 0 gsi->regs 1479825309112836096,1610083503881510912,1656524727556907008,6352922440179556352,7568750102333579264,8497498110091747328,8892306621150019584
PARAM_VALUE 0 gsi->version 1,3,6-11,13-14
PARAM_VALUE 0 gsi->virt 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 gsi->irq