Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/cxl/core/hdm.c devm_cxl_add_passthrough_decoder() -> add_hdm_decoder()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | port | 4096-ptr_max |
| PARAM_VALUE | 0 | port->dev.devres_head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | port->dev.devres_head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | port->dev.devres_head.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | port->dev.driver | 1-u64max |
| PARAM_VALUE | 0 | port->nr_dports | 0 |
| PARAM_VALUE | 0 | port->uport_dev | 4096-ptr_max |
| PARAM_VALUE | 0 | port->uport_dev->type | 0-1418481967136677887,1418481967136677889-5146549243930066943 |
| PARAM_VALUE | 1 | cxld | 4096-ptr_max |
| PARAM_VALUE | 1 | cxld->dev.bus | 5501934413539762176 |
| PARAM_VALUE | 1 | cxld->dev.devres_head.next | 4096-ptr_max |
| PARAM_VALUE | 1 | cxld->dev.devres_head.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | cxld->dev.dma_io_tlb_mem | 1473117533515866112 |
| PARAM_VALUE | 1 | cxld->dev.dma_io_tlb_pools.next | 4096-ptr_max |
| PARAM_VALUE | 1 | cxld->dev.dma_io_tlb_pools.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | cxld->dev.dma_pools.next | 4096-ptr_max |
| PARAM_VALUE | 1 | cxld->dev.dma_pools.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | cxld->dev.dma_uses_io_tlb | 0 |
| PARAM_VALUE | 1 | cxld->dev.kobj.kref.refcount.refs.counter | 1 |
| PARAM_VALUE | 1 | cxld->dev.kobj.ktype | 5399513539053756416 |
| PARAM_VALUE | 1 | cxld->dev.kobj.state_add_uevent_sent | 0 |
| PARAM_VALUE | 1 | cxld->dev.kobj.state_in_sysfs | 0 |
| PARAM_VALUE | 1 | cxld->dev.kobj.state_initialized | 1 |
| PARAM_VALUE | 1 | cxld->dev.kobj.state_remove_uevent_sent | 0 |
| PARAM_VALUE | 1 | cxld->dev.links.consumers.next | 4096-ptr_max |
| PARAM_VALUE | 1 | cxld->dev.links.consumers.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | cxld->dev.links.defer_sync.next | 4096-ptr_max |
| PARAM_VALUE | 1 | cxld->dev.links.defer_sync.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | cxld->dev.links.status | 0 |
| PARAM_VALUE | 1 | cxld->dev.links.suppliers.next | 4096-ptr_max |
| PARAM_VALUE | 1 | cxld->dev.links.suppliers.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | cxld->dev.numa_node | (-1) |
| PARAM_VALUE | 1 | cxld->dev.parent | 4096-ptr_max |
| PARAM_VALUE | 1 | cxld->dev.power.child_count.counter | 0 |
| PARAM_VALUE | 1 | cxld->dev.power.deferred_resume | 0 |
| PARAM_VALUE | 1 | cxld->dev.power.disable_depth | 1 |
| PARAM_VALUE | 1 | cxld->dev.power.early_init | 1 |
| PARAM_VALUE | 1 | cxld->dev.power.entry.next | 4096-ptr_max |
| PARAM_VALUE | 1 | cxld->dev.power.entry.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | cxld->dev.power.idle_notification | 0 |
| PARAM_VALUE | 1 | cxld->dev.power.ignore_children | 0 |
| PARAM_VALUE | 1 | cxld->dev.power.is_late_suspended | 0 |
| PARAM_VALUE | 1 | cxld->dev.power.is_noirq_suspended | 0 |
| PARAM_VALUE | 1 | cxld->dev.power.is_prepared | 0 |
| PARAM_VALUE | 1 | cxld->dev.power.is_suspended | 0 |
| PARAM_VALUE | 1 | cxld->dev.power.last_status | (-1) |
| PARAM_VALUE | 1 | cxld->dev.power.needs_force_resume | 0 |
| PARAM_VALUE | 1 | cxld->dev.power.no_callbacks | 1 |
| PARAM_VALUE | 1 | cxld->dev.power.no_pm | 1 |
| PARAM_VALUE | 1 | cxld->dev.power.qos | 0 |
| PARAM_VALUE | 1 | cxld->dev.power.request | 0 |
| PARAM_VALUE | 1 | cxld->dev.power.request_pending | 0 |
| PARAM_VALUE | 1 | cxld->dev.power.runtime_auto | 1 |
| PARAM_VALUE | 1 | cxld->dev.power.runtime_error | 0 |
| PARAM_VALUE | 1 | cxld->dev.power.runtime_status | 2 |
| PARAM_VALUE | 1 | cxld->dev.power.timer_expires | 0 |
| PARAM_VALUE | 1 | cxld->dev.power.usage_count.counter | 0 |
| PARAM_VALUE | 1 | cxld->dev.power.wait_queue.head.next | 4096-ptr_max |
| PARAM_VALUE | 1 | cxld->dev.power.wait_queue.head.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | cxld->dev.type | 800064969857134592 |
| PARAM_VALUE | 1 | cxld->id | 0-s32max |
| PARAM_VALUE | 1 | cxld->interleave_granularity | 4096 |
| PARAM_VALUE | 1 | cxld->interleave_ways | 1 |
| PARAM_VALUE | 1 | cxld->target_type | 3 |
| CAPPED_DATA | 0 | port->uport_dev | 1 |
| DATA_SOURCE | 0 | port | $0 |
| PARAM_COMPARE | 0 | port->dev.parent | != $0->uport_dev |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | 0 | &port->dev.mutex | |
| HALF_LOCKED2 | &dev->mutex | ||
| HALF_LOCKED2 | &parent_port->dev.mutex | ||
| TYPE_LOCK | (struct device)->mutex |
drivers/cxl/core/hdm.c devm_cxl_enumerate_decoders() -> add_hdm_decoder()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | port | 4096-ptr_max |
| PARAM_VALUE | 0 | port->dev.devres_head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | port->uport_dev | 4096-ptr_max |
| PARAM_VALUE | 0 | port->uport_dev->type | 0-ptr_max |
| PARAM_VALUE | 1 | cxld | 4096-ptr_max |
| PARAM_VALUE | 1 | cxld->commit | 0,543670362321862656 |
| PARAM_VALUE | 1 | cxld->dev.bus | 5501934413539762176 |
| PARAM_VALUE | 1 | cxld->dev.devres_head.next | 4096-ptr_max |
| PARAM_VALUE | 1 | cxld->dev.devres_head.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | cxld->dev.dma_io_tlb_mem | 1473117533515866112 |
| PARAM_VALUE | 1 | cxld->dev.dma_io_tlb_pools.next | 4096-ptr_max |
| PARAM_VALUE | 1 | cxld->dev.dma_io_tlb_pools.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | cxld->dev.dma_pools.next | 4096-ptr_max |
| PARAM_VALUE | 1 | cxld->dev.dma_pools.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | cxld->dev.dma_uses_io_tlb | 0 |
| PARAM_VALUE | 1 | cxld->dev.kobj.kref.refcount.refs.counter | 1 |
| PARAM_VALUE | 1 | cxld->dev.kobj.kset | 0,4096-ptr_max |
| PARAM_VALUE | 1 | cxld->dev.kobj.ktype | 5399513539053756416 |
| PARAM_VALUE | 1 | cxld->dev.kobj.state_add_uevent_sent | 0 |
| PARAM_VALUE | 1 | cxld->dev.kobj.state_in_sysfs | 0 |
| PARAM_VALUE | 1 | cxld->dev.kobj.state_initialized | 1 |
| PARAM_VALUE | 1 | cxld->dev.kobj.state_remove_uevent_sent | 0 |
| PARAM_VALUE | 1 | cxld->dev.links.consumers.next | 4096-ptr_max |
| PARAM_VALUE | 1 | cxld->dev.links.consumers.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | cxld->dev.links.defer_sync.next | 4096-ptr_max |
| PARAM_VALUE | 1 | cxld->dev.links.defer_sync.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | cxld->dev.links.status | 0 |
| PARAM_VALUE | 1 | cxld->dev.links.suppliers.next | 4096-ptr_max |
| PARAM_VALUE | 1 | cxld->dev.links.suppliers.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | cxld->dev.numa_node | (-1) |
| PARAM_VALUE | 1 | cxld->dev.parent | 4096-ptr_max |
| PARAM_VALUE | 1 | cxld->dev.power.child_count.counter | 0 |
| PARAM_VALUE | 1 | cxld->dev.power.deferred_resume | 0 |
| PARAM_VALUE | 1 | cxld->dev.power.disable_depth | 1 |
| PARAM_VALUE | 1 | cxld->dev.power.early_init | 1 |
| PARAM_VALUE | 1 | cxld->dev.power.entry.next | 4096-ptr_max |
| PARAM_VALUE | 1 | cxld->dev.power.entry.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | cxld->dev.power.idle_notification | 0 |
| PARAM_VALUE | 1 | cxld->dev.power.ignore_children | 0 |
| PARAM_VALUE | 1 | cxld->dev.power.is_late_suspended | 0 |
| PARAM_VALUE | 1 | cxld->dev.power.is_noirq_suspended | 0 |
| PARAM_VALUE | 1 | cxld->dev.power.is_prepared | 0 |
| PARAM_VALUE | 1 | cxld->dev.power.is_suspended | 0 |
| PARAM_VALUE | 1 | cxld->dev.power.last_status | (-1) |
| PARAM_VALUE | 1 | cxld->dev.power.needs_force_resume | 0 |
| PARAM_VALUE | 1 | cxld->dev.power.no_callbacks | 1 |
| PARAM_VALUE | 1 | cxld->dev.power.no_pm | 1 |
| PARAM_VALUE | 1 | cxld->dev.power.qos | 0 |
| PARAM_VALUE | 1 | cxld->dev.power.request | 0 |
| PARAM_VALUE | 1 | cxld->dev.power.request_pending | 0 |
| PARAM_VALUE | 1 | cxld->dev.power.runtime_auto | 1 |
| PARAM_VALUE | 1 | cxld->dev.power.runtime_error | 0 |
| PARAM_VALUE | 1 | cxld->dev.power.runtime_status | 2 |
| PARAM_VALUE | 1 | cxld->dev.power.timer_expires | 0 |
| PARAM_VALUE | 1 | cxld->dev.power.usage_count.counter | 0 |
| PARAM_VALUE | 1 | cxld->dev.power.wait_queue.head.next | 4096-ptr_max |
| PARAM_VALUE | 1 | cxld->dev.power.wait_queue.head.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | cxld->dev.type | 800064969857134592,1973007849089654784 |
| PARAM_VALUE | 1 | cxld->id | 0-s32max |
| PARAM_VALUE | 1 | cxld->interleave_granularity | 4096 |
| PARAM_VALUE | 1 | cxld->interleave_ways | 1 |
| PARAM_VALUE | 1 | cxld->reset | 0,5352778885117755392 |
| PARAM_VALUE | 1 | cxld->target_type | 2-3 |
| PARAM_VALUE | 1 | *cxld->target_map | 0-4294967295 |
| BUF_SIZE | 1 | cxld | 1752 |
| CAPPED_DATA | 1 | cxld->id | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | port->reg_map.max_size | |
| HALF_LOCKED2 | &dev->mutex | ||
| HALF_LOCKED2 | &port->dev.mutex |