Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/gpu/drm/clients/drm_log.c drm_log_lock() -> console_to_drm_log()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | con | 4096-ptr_max |
| CAPPED_DATA | 0 | con | 1 |
| DATA_SOURCE | 0 | con | $0 |
| NOSPEC | 0 | con->index | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | con->cflag | s32min-s32max |
| HOST_DATA | 0 | con->irq_work.node.a_flags.counter | s32min-s32max |
| HOST_DATA | 0 | con->irq_work.node.dst | 0-u16max |
| HOST_DATA | 0 | con->irq_work.node.src | 0-u16max |
| HOST_DATA | 0 | con->irq_work.node.u_flags | 0-u32max |
| HOST_DATA | 0 | con->ispeed | 0-u32max |
| HOST_DATA | 0 | con->nbcon_device_ctxt.allow_unsafe_takeover | 0-1 |
| HOST_DATA | 0 | con->nbcon_device_ctxt.backlog | 0-1 |
| HOST_DATA | 0 | con->nbcon_device_ctxt.prio | 0-u32max |
| HOST_DATA | 0 | con->nbcon_device_ctxt.seq | 0-u64max |
| HOST_DATA | 0 | con->nbcon_device_ctxt.spinwait_max_us | 0-u32max |
| HOST_DATA | 0 | con->nbcon_prev_seq.counter | s64min-s64max |
| HOST_DATA | 0 | con->nbcon_seq.counter | s64min-s64max |
| HOST_DATA | 0 | con->nbcon_state.counter | s32min-s32max |
| HOST_DATA | 0 | con->ospeed | 0-u32max |
| HOST_DATA | 0 | con->seq | 0-u64max |
| USER_DATA | 0 | con->index | s16min-s16max |
| HALF_LOCKED2 | global &console_mutex |
drivers/gpu/drm/clients/drm_log.c drm_log_unlock() -> console_to_drm_log()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | con | 4096-ptr_max |
| CAPPED_DATA | 0 | con | 1 |
| DATA_SOURCE | 0 | con | $0 |
| NOSPEC | 0 | con->index | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | con->cflag | s32min-s32max |
| HOST_DATA | 0 | con->irq_work.node.a_flags.counter | s32min-s32max |
| HOST_DATA | 0 | con->irq_work.node.dst | 0-u16max |
| HOST_DATA | 0 | con->irq_work.node.src | 0-u16max |
| HOST_DATA | 0 | con->irq_work.node.u_flags | 0-u32max |
| HOST_DATA | 0 | con->ispeed | 0-u32max |
| HOST_DATA | 0 | con->nbcon_device_ctxt.allow_unsafe_takeover | 0-1 |
| HOST_DATA | 0 | con->nbcon_device_ctxt.backlog | 0-1 |
| HOST_DATA | 0 | con->nbcon_device_ctxt.prio | 0-u32max |
| HOST_DATA | 0 | con->nbcon_device_ctxt.seq | 0-u64max |
| HOST_DATA | 0 | con->nbcon_device_ctxt.spinwait_max_us | 0-u32max |
| HOST_DATA | 0 | con->nbcon_prev_seq.counter | s64min-s64max |
| HOST_DATA | 0 | con->nbcon_seq.counter | s64min-s64max |
| HOST_DATA | 0 | con->nbcon_state.counter | s32min-s32max |
| HOST_DATA | 0 | con->ospeed | 0-u32max |
| HOST_DATA | 0 | con->seq | 0-u64max |
| USER_DATA | 0 | con->index | s16min-s16max |
| HALF_LOCKED2 | &dlog->lock | ||
| HALF_LOCKED2 | &port->lock | ||
| HALF_LOCKED2 | &port->uport.lock | ||
| HALF_LOCKED2 | &up->lock | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | global &console_mutex | ||
| HALF_LOCKED2 | global &target_list_lock |
drivers/gpu/drm/clients/drm_log.c drm_log_write_thread() -> console_to_drm_log()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | con | 4096-ptr_max |
| DATA_SOURCE | 0 | con | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &up->lock | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | global &target_list_lock |