Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/usb/typec/tcpm/tcpm.c tcpm_queue_message() -> mod_tcpm_delayed_work()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | port | 4096-ptr_max |
| PARAM_VALUE | 0 | port->attached | 1 |
| PARAM_VALUE | 0 | port->lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | port->lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | port->lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | port->lock.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | port->lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | port->lock.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | port->lock.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | port->lock.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | port->queued_message | 1-5,8-9 |
| PARAM_VALUE | 0 | port->rx_msgid | 0-7 |
| PARAM_VALUE | 0 | port->state | 11,28 |
| PARAM_VALUE | 0 | port->tcpc | 4096-ptr_max |
| PARAM_VALUE | 0 | port->wq->task->delays->blkio_count | 0-4294967295 |
| PARAM_VALUE | 0 | port->wq->task->delays->blkio_delay_max | 0-s64max |
| PARAM_VALUE | 0 | port->wq->task->delays->blkio_delay_min | 0-s64max |
| PARAM_VALUE | 1 | delay_ms | 0 |
| CAPPED_DATA | 0 | port->rx_msgid | 1 |
| DATA_SOURCE | 0 | port | $0 |
| RX_PATH | |||
| NOCHECK_CALL | |||
| LOCK2 | 0 | &port->lock | |
| TYPE_LOCK | (struct tcpm_port)->lock |
drivers/usb/typec/tcpm/tcpm.c tcpm_send_queued_message() -> mod_tcpm_delayed_work()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | port | 4096-ptr_max |
| PARAM_VALUE | 0 | port->delayed_runtime | (-9223372036854775807)-s64max |
| PARAM_VALUE | 0 | port->delayed_state | 1-u32max |
| PARAM_VALUE | 0 | port->queued_message | 0 |
| CAPPED_DATA | 0 | port->delayed_runtime | 1 |
| DATA_SOURCE | 0 | port | $0 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | port->fixed_batt_cnt |
drivers/usb/typec/tcpm/tcpm.c tcpm_set_state() -> mod_tcpm_delayed_work()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | port | 4096-ptr_max |
| PARAM_VALUE | 1 | delay_ms | 1-u32max |
| BUF_SIZE | 0 | port | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | port | s32min-(-1),1-s32max |
| DATA_SOURCE | 0 | port | $0 |
| DATA_SOURCE | 1 | delay_ms | $2 |
| FUZZY_MAX | 1 | delay_ms | 650 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | port->wq->task->dl.pi_se->dl_runtime | |
| UNITS | 0 | port | unit_byte |
| HALF_LOCKED2 | 0 | &port->lock | |
| HALF_LOCKED2 | 0 | &port->swap_lock |
drivers/usb/typec/tcpm/tcpm.c tcpm_set_state() -> mod_tcpm_delayed_work()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | port | 4096-ptr_max |
| PARAM_VALUE | 0 | port->delayed_state | 0 |
| PARAM_VALUE | 0 | port->state_machine_running | 0 |
| PARAM_VALUE | 1 | delay_ms | 0 |
| BUF_SIZE | 0 | port | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | port | s32min-(-1),1-s32max |
| DATA_SOURCE | 0 | port | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | port->wq->task->dl.pi_se->dl_runtime | |
| UNITS | 0 | port | unit_byte |
| HALF_LOCKED2 | &of->mutex | ||
| HALF_LOCKED2 | &p->port_type_lock | ||
| HALF_LOCKED2 | 0 | &port->lock | |
| HALF_LOCKED2 | 0 | &port->swap_lock |