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 |