Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/infiniband/hw/efa/efa_verbs.c efa_create_comp_cntr() -> efa_destroy_event_counter()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->edev->aq->comp_ctx_pool | 0-u16max |
| PARAM_VALUE | 0 | dev->edev.aq.avail_cmds.first_waiter->up | 1 |
| PARAM_VALUE | 0 | dev->edev.aq.avail_cmds.last_holder | 0 |
| PARAM_VALUE | 0 | dev->edev.aq.avail_cmds.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->edev.aq.avail_cmds.lock.owner | (-1) |
| PARAM_VALUE | 0 | dev->edev.aq.avail_cmds.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | dev->edev.aq.comp_ctx_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->edev.aq.comp_ctx_pool | 4096-ptr_max |
| DATA_SOURCE | 0 | dev | r to_edev |
| NOCHECK_CALL |
drivers/infiniband/hw/efa/efa_verbs.c efa_destroy_comp_cntr() -> efa_destroy_event_counter()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| DATA_SOURCE | 0 | dev | r to_edev |
| NOCHECK_CALL |
drivers/infiniband/hw/efa/efa_verbs.c efa_destroy_comp_cntr() -> efa_destroy_event_counter()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->edev->aq->comp_ctx_pool | 0-u16max |
| PARAM_VALUE | 0 | dev->edev.aq.avail_cmds.first_waiter->up | 1 |
| PARAM_VALUE | 0 | dev->edev.aq.avail_cmds.last_holder | 0 |
| PARAM_VALUE | 0 | dev->edev.aq.avail_cmds.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->edev.aq.avail_cmds.lock.owner | (-1) |
| PARAM_VALUE | 0 | dev->edev.aq.avail_cmds.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | dev->edev.aq.comp_ctx_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->edev.aq.comp_ctx_pool | 4096-ptr_max |
| DATA_SOURCE | 0 | dev | r to_edev |
| NOCHECK_CALL |