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_packet_layer.c ssh_ptl_acknowledge() -> ssh_ptl_tx_wakeup_packet()

Type Parameter Key Value
PARAM_VALUE 0 ptl 4096-ptr_max
PARAM_VALUE 0 ptl->pending.count.counter s32min-0
PARAM_VALUE 0 ptl->rx.buf.len 1-u64max
BUF_SIZE 0 ptl 128
BUF_SIZE 0 ptl 128
CAPPED_DATA 0 ptl 1
DATA_SOURCE 0 ptl $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/platform/surface/aggregator/ssh_packet_layer.c ssh_ptl_cancel() -> ssh_ptl_tx_wakeup_packet()

Type Parameter Key Value
PARAM_VALUE 0 ptl 1-u64max
PARAM_VALUE 0 ptl->pending.count.counter s32min-0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &ctrl->lock
TYPE_LOCK (struct ssam_controller)->lock

drivers/platform/surface/aggregator/ssh_packet_layer.c ssh_ptl_resubmit_pending() -> ssh_ptl_tx_wakeup_packet()

Type Parameter Key Value
PARAM_VALUE 0 ptl 4096-ptr_max
PARAM_VALUE 0 ptl->pending.lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ptl->rx.buf.len 1-u64max
BUF_SIZE 0 ptl 128
BUF_SIZE 0 ptl 128
CAPPED_DATA 0 ptl 1
CAPPED_DATA 0 &ptl->pending.head 1
DATA_SOURCE 0 ptl $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/platform/surface/aggregator/ssh_packet_layer.c ssh_ptl_submit() -> ssh_ptl_tx_wakeup_packet()

Type Parameter Key Value
PARAM_VALUE 0 ptl 4096-ptr_max
BUF_SIZE 0 ptl (-1),128
BUF_SIZE 0 ptl (-1),128
CAPPED_DATA 0 ptl 1
DATA_SOURCE 0 ptl $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/platform/surface/aggregator/ssh_packet_layer.c ssh_ptl_timeout_reap() -> ssh_ptl_tx_wakeup_packet()

Type Parameter Key Value
PARAM_VALUE 0 ptl 4096-ptr_max
PARAM_VALUE 0 ptl->pending.lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ptl->rtx_timeout.expires (-9223372036854775807)-s64max
PARAM_VALUE 0 ptl->rtx_timeout.lock.rlock.dep_map->name 0-255
CAPPED_DATA 0 &ptl->pending.head 1
FUZZY_MAX 0 ptl->rtx_timeout.expires s64max
NOCHECK_CALL
HALF_LOCKED2 &pool->lock