Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

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

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 (-12),(-4)
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
PARAM_VALUE 1 timeout 0-536870912
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/controller.c ssam_controller_shutdown() -> ssh_rtl_flush()

Type Parameter Key Value
PARAM_VALUE 0 rtl 4096-ptr_max
PARAM_VALUE 1 timeout 0-536870912
RX_PATH
TASK_NOT_RUNNING
LOCK2 &ctrl->lock
HALF_LOCKED2 &dev->mutex
TYPE_LOCK (struct ssam_controller)->lock