Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ipa/gsi.c gsi_channel_reset() -> gsi_channel_program()

Type Parameter Key Value
PARAM_VALUE 0 channel 4096-ptr_max
PARAM_VALUE 0 channel->gsi 4096-ptr_max
PARAM_VALUE 0 channel->tre_ring.index 0
CAPPED_DATA 0 channel->gsi->regs->reg_count 1
DATA_SOURCE 1 doorbell $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &gsi->mutex
TYPE_LOCK (struct gsi)->mutex

drivers/net/ipa/gsi.c gsi_channel_setup_one() -> gsi_channel_program()

Type Parameter Key Value
PARAM_VALUE 0 channel 4096-ptr_max
PARAM_VALUE 0 channel->evt_ring_id 0-s32max
PARAM_VALUE 0 channel->gsi 1-u64max
PARAM_VALUE 1 doorbell 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &gsi->mutex
TYPE_LOCK (struct gsi)->mutex