Open Menu /

Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/platform/surface/aggregator/ssh_request_layer.c ssh_rtl_submit() -> ssh_request_get()

Type Parameter Key Value
PARAM_VALUE 0 r 4096-ptr_max
PARAM_VALUE 0 r->node.prev 4096-ptr_max
PARAM_VALUE 0 r->ops 5634670929212035072,8885629069187743744
PARAM_VALUE 0 r->packet.data.len 0-9223372036854775807
PARAM_VALUE 0 r->packet.data.ptr 0,24,4096-ptr_max
PARAM_VALUE 0 r->packet.ops 5474566203574042624
PARAM_VALUE 0 r->packet.pending_node.prev 4096-ptr_max
PARAM_VALUE 0 r->packet.queue_node.prev 4096-ptr_max
PARAM_VALUE 0 r->packet.state 0,256-u64max
PARAM_VALUE 0 r->packet.timestamp s64max
PARAM_VALUE 0 r->state 0,256-u64max
PARAM_VALUE 0 r->timestamp s64max
DATA_SOURCE 0 r $1
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 &rtl->queue.lock
HALF_LOCKED2 &ctrl->lock
TYPE_LOCK (struct ssh_rtl)->queue.lock

drivers/platform/surface/aggregator/ssh_request_layer.c ssh_rtl_tx_pending_push() -> ssh_request_get()

Type Parameter Key Value
PARAM_VALUE 0 r 4096-ptr_max
DATA_SOURCE 0 r $0
PREEMPT_ADD <- disables preempt
LOCK2 &rtl->pending.lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct ssh_rtl)->pending.lock