Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/infiniband/hw/hfi1/chip.c hfi1_netdev_rx_napi() -> (struct hfi1_ctxtdata)->do_interrupt()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rcd | 4096-ptr_max |
| DATA_SOURCE | 1 | budget | $1 |
| CONTAINER | 0 | -48+0 | $(-1) |
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | rcu_read |
drivers/infiniband/hw/hfi1/chip.c receive_context_interrupt() -> (struct hfi1_ctxtdata)->do_interrupt()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rcd | 4096-ptr_max |
| PARAM_VALUE | 0 | rcd->aspm_enabled | 0 |
| PARAM_VALUE | 0 | rcd->aspm_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | rcd->aspm_timer.entry->pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | rcd->aspm_timer.entry.pprev | 0,4096-ptr_max |
| PARAM_VALUE | 0 | rcd->dd | 4096-ptr_max |
| PARAM_VALUE | 0 | rcd->dd->aspm_enabled | 0 |
| PARAM_VALUE | 0 | rcd->dd->aspm_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | rcd->dd->int_counter | 4096-ptr_max |
| PARAM_VALUE | 0 | rcd->dd->pcidev->bus->self->pcie_cap_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | rcd->dd->pcidev->pcie_cap_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | budget | 0 |
| DATA_SOURCE | 0 | rcd | $1 |
| CONTAINER | 0 | -48+0 | $(-1) |
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &desc->request_mutex | ||
| HALF_LOCKED2 | flags |
drivers/infiniband/hw/hfi1/chip.c receive_context_thread() -> (struct hfi1_ctxtdata)->do_interrupt()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rcd | 4096-ptr_max |
| PARAM_VALUE | 1 | budget | 1 |
| DATA_SOURCE | 0 | rcd | $1 |
| CONTAINER | 0 | -48+0 | $(-1) |
| TASK_NOT_RUNNING |