Defined in 1 files as a prototype:
Defined in 2 files as a function:
- drivers/infiniband/hw/mlx5/macsec.c, line 204 (as a function)
- drivers/infiniband/hw/mlx5/macsec.h, line 25 (as a function)
Referenced in 1 files:
Smatch caller information:
drivers/infiniband/hw/mlx5/main.c mlx5_ib_stage_init_cleanup() -> mlx5r_macsec_dealloc_gids()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->async_ctx.inflight_done.done | 0-4294967293,u32max |
| PARAM_VALUE | 0 | dev->async_ctx.inflight_done.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->async_ctx.inflight_done.wait.lock.owner | (-1) |
| PARAM_VALUE | 0 | dev->async_ctx.inflight_done.wait.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | dev->async_ctx.inflight_done.wait.task_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->async_ctx.inflight_done.wait.task_list.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->cap_mask_mutex.magic | 0 |
| PARAM_VALUE | 0 | dev->mdev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->mdev->cmd.vars.throttle_sem.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | dev->mdev->cmd.vars.unprivileged_sem.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | dev->mdev->pdev->bus->self->link_bwctrl->cdev | (-22),(-19),(-12),0,4096-s64max |
| CAPPED_DATA | 0 | dev | 1 |
| DATA_SOURCE | 0 | dev | $0 |
| NOCHECK_CALL |
drivers/infiniband/hw/mlx5/main.c mlx5_ib_stage_init_init() -> mlx5r_macsec_dealloc_gids()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ddr.mkey_ro_valid | 1 |
| PARAM_VALUE | 0 | dev->ddr.pdn | 0-16777215 |
| PARAM_VALUE | 0 | dev->ib_dev.lag_flags | 1 |
| PARAM_VALUE | 0 | dev->ib_dev.local_dma_lkey | 0 |
| PARAM_VALUE | 0 | dev->ib_dev.node_type | 1 |
| PARAM_VALUE | 0 | dev->lb.mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->lb.mutex.first_waiter | 0 |
| PARAM_VALUE | 0 | dev->lb.mutex.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->lb.mutex.osq.tail.counter | 0 |
| PARAM_VALUE | 0 | dev->lb.mutex.owner.counter | 0 |
| PARAM_VALUE | 0 | dev->mdev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->mdev->cmd.vars.throttle_sem.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | dev->mdev->cmd.vars.unprivileged_sem.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | dev->mdev->pdev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->mdev->pdev->bus->self->link_bwctrl->cdev | (-22),(-19),(-12),0,4096-s64max |
| PARAM_VALUE | 0 | dev->mdev->pdev->dev.devres_head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->mdev->pdev->dev.devres_head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->mdev->pdev->dev.devres_head.prev->next->next | 4096-ptr_max |
| CAPPED_DATA | 0 | dev | 1 |
| CAPPED_DATA | 0 | dev->num_ports | 1 |
| DATA_SOURCE | 0 | dev | $0 |
| NOCHECK_CALL |