Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/platform/surface/aggregator/ssh_request_layer.c ssh_rtl_cancel() -> ssh_rtl_tx_schedule()

Type Parameter Key Value
PARAM_VALUE 0 rtl 1-u64max
DATA_SOURCE 0 rtl r ssh_request_rtl
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &ctrl->lock
TYPE_LOCK (struct ssam_controller)->lock

drivers/platform/surface/aggregator/ssh_request_layer.c ssh_rtl_complete() -> ssh_rtl_tx_schedule()

Type Parameter Key Value
PARAM_VALUE 0 rtl 4096-ptr_max
PARAM_VALUE 0 rtl->pending.lock.rlock.dep_map->name 0-255
CAPPED_DATA 0 &rtl->pending.head 1
DATA_SOURCE 0 rtl $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/platform/surface/aggregator/ssh_request_layer.c ssh_rtl_complete() -> ssh_rtl_tx_schedule()

Type Parameter Key Value
PARAM_VALUE 0 rtl 4096-ptr_max
PARAM_VALUE 0 rtl->pending.lock.rlock.dep_map->name 0-255
CAPPED_DATA 0 &rtl->pending.head 1
DATA_SOURCE 0 rtl $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/platform/surface/aggregator/ssh_request_layer.c ssh_rtl_complete() -> ssh_rtl_tx_schedule()

Type Parameter Key Value
PARAM_VALUE 0 rtl 4096-ptr_max
PARAM_VALUE 0 rtl->pending.lock.rlock.dep_map->name 0-255
CAPPED_DATA 0 &rtl->pending.head 1
DATA_SOURCE 0 rtl $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/platform/surface/aggregator/ssh_request_layer.c ssh_rtl_packet_callback() -> ssh_rtl_tx_schedule()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ctrl->lock

drivers/platform/surface/aggregator/ssh_request_layer.c ssh_rtl_packet_callback() -> ssh_rtl_tx_schedule()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ctrl->lock

drivers/platform/surface/aggregator/ssh_request_layer.c ssh_rtl_start() -> ssh_rtl_tx_schedule()

Type Parameter Key Value
PARAM_VALUE 0 rtl 4096-ptr_max
PARAM_VALUE 0 rtl->ops.handle_event 5083417697945747456
PARAM_VALUE 0 rtl->pending.count.counter 0
PARAM_VALUE 0 rtl->pending.head.next 4096-ptr_max
PARAM_VALUE 0 rtl->pending.head.prev 4096-ptr_max
PARAM_VALUE 0 rtl->ptl.ops.data_received 8558675464263774208
PARAM_VALUE 0 rtl->ptl.pending.head.next 4096-ptr_max
PARAM_VALUE 0 rtl->ptl.pending.head.prev 4096-ptr_max
PARAM_VALUE 0 rtl->ptl.queue.head.next 4096-ptr_max
PARAM_VALUE 0 rtl->ptl.queue.head.prev 4096-ptr_max
PARAM_VALUE 0 rtl->ptl.rtx_timeout.expires s64max
PARAM_VALUE 0 rtl->ptl.rtx_timeout.timeout 1000000000
PARAM_VALUE 0 rtl->ptl.rx.buf.cap 4096
PARAM_VALUE 0 rtl->ptl.rx.buf.ptr 4096-ptr_max
PARAM_VALUE 0 rtl->ptl.rx.thread 0
PARAM_VALUE 0 rtl->ptl.rx.wq.head.next 4096-ptr_max
PARAM_VALUE 0 rtl->ptl.rx.wq.head.prev 4096-ptr_max
PARAM_VALUE 0 rtl->ptl.serdev 4096-ptr_max
PARAM_VALUE 0 rtl->ptl.tx.packet_wq.head.next 4096-ptr_max
PARAM_VALUE 0 rtl->ptl.tx.packet_wq.head.prev 4096-ptr_max
PARAM_VALUE 0 rtl->ptl.tx.running.counter 1
PARAM_VALUE 0 rtl->ptl.tx.thread 4096-ptr_max
PARAM_VALUE 0 rtl->ptl.tx.thread->blocked_on 0
PARAM_VALUE 0 rtl->ptl.tx.thread->cpus_ptr 4096-ptr_max
PARAM_VALUE 0 rtl->ptl.tx.thread->migration_disabled 0-1
PARAM_VALUE 0 rtl->ptl.tx.thread->on_rq 0-1,3-255
PARAM_VALUE 0 rtl->ptl.tx.thread->pushable_dl_tasks.__rb_parent_color 1
PARAM_VALUE 0 rtl->ptl.tx.thread->saved_state 0
PARAM_VALUE 0 rtl->ptl.tx.thread->wake_cpu 0-s32max
PARAM_VALUE 0 rtl->ptl.tx.thread_cplt_pkt.done 0
PARAM_VALUE 0 rtl->ptl.tx.thread_cplt_pkt.wait.lock.magic 3735899821
PARAM_VALUE 0 rtl->ptl.tx.thread_cplt_pkt.wait.lock.owner (-1)
PARAM_VALUE 0 rtl->ptl.tx.thread_cplt_pkt.wait.lock.owner_cpu u32max
PARAM_VALUE 0 rtl->ptl.tx.thread_cplt_pkt.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 rtl->ptl.tx.thread_cplt_pkt.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 0 rtl->ptl.tx.thread_cplt_tx.done 0
PARAM_VALUE 0 rtl->ptl.tx.thread_cplt_tx.wait.lock.magic 3735899821
PARAM_VALUE 0 rtl->ptl.tx.thread_cplt_tx.wait.lock.owner (-1)
PARAM_VALUE 0 rtl->ptl.tx.thread_cplt_tx.wait.lock.owner_cpu u32max
PARAM_VALUE 0 rtl->ptl.tx.thread_cplt_tx.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 rtl->ptl.tx.thread_cplt_tx.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 0 rtl->queue.head.next 4096-ptr_max
PARAM_VALUE 0 rtl->queue.head.prev 4096-ptr_max
PARAM_VALUE 0 rtl->rtx_timeout.expires s64max
PARAM_VALUE 0 rtl->rtx_timeout.timeout 3000000000
DATA_SOURCE 0 rtl $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &ctrl->lock
TYPE_LOCK (struct ssam_controller)->lock

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

Type Parameter Key Value
PARAM_VALUE 0 rtl 4096-ptr_max
PARAM_VALUE 0 rtl->queue.head.prev 4096-ptr_max
PARAM_VALUE 0 rtl->queue.head.prev->next 4096-ptr_max
PARAM_VALUE 0 rtl->queue.head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 rtl->queue.lock.rlock.dep_map->name 0-255
DATA_SOURCE 0 rtl $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ctrl->lock

drivers/platform/surface/aggregator/ssh_request_layer.c ssh_rtl_timeout_reap() -> ssh_rtl_tx_schedule()

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

drivers/platform/surface/aggregator/ssh_request_layer.c ssh_rtl_tx_work_fn() -> ssh_rtl_tx_schedule()

Type Parameter Key Value
PARAM_VALUE 0 rtl 4096-ptr_max
NOCHECK_CALL
HALF_LOCKED2 &pool->lock