Defined in 2 files as a function:
- drivers/infiniband/hw/hfi1/init.c, line 696 (as a function)
- tools/testing/selftests/gpio/gpio-cdev-uaf.c, line 93 (as a function)
Referenced in 2 files:
Smatch caller information:
drivers/infiniband/hw/hfi1/init.c hfi1_init() -> enable_chip()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dd | 4096-ptr_max |
| PARAM_VALUE | 0 | dd->drop_packet.counter | 0-1 |
| PARAM_VALUE | 0 | dd->pcidev->dev.bus | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dd->pcidev->dev.cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | dd->pio_inline_send | 349161556861923328 |
| PARAM_VALUE | 0 | dd->process_dma_send | 6078567845686136832 |
| PARAM_VALUE | 0 | dd->process_pio_send | 1059276728434667520 |
| BUF_SIZE | 0 | dd | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | dd | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | dd->events | 0,4096-u64max |
| BUF_SIZE | 0 | dd->status | 4096 |
| CAPPED_DATA | 0 | dd | 1 |
| CAPPED_DATA | 0 | dd->num_pports | 1 |
| DATA_SOURCE | 0 | dd | $0 |
| FUZZY_MAX | 0 | dd->drop_packet.counter | 1 |
| HARD_MAX | 0 | dd->drop_packet.counter | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | dd->pcidev->current_state | 0-3[c] |
| NO_OVERFLOW_SIMPLE | 0 | dd->num_pports | |
| UNITS | 0 | dd | unit_byte |
| HALF_LOCKED2 | &of->mutex |