Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/spi/spi.c spi_register_controller() -> spi_controller_id_alloc()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctlr | 4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->bus_num | 0-s16max |
| PARAM_VALUE | 0 | ctlr->dev.cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | ctlr->dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | ctlr->dev.parent | 1-u64max |
| PARAM_VALUE | 0 | ctlr->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | ctlr->dma_tx->router->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | ctlr->mem_ops | 0,4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->mem_ops->adjust_op_size | 0,4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->mem_ops->dirmap_create | 0,4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->mem_ops->dirmap_destroy | 0 |
| PARAM_VALUE | 0 | ctlr->mem_ops->dirmap_read | 0,4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->mem_ops->dirmap_write | 0,715988303612325888,4273826429031796736,4713989647023087616,5615016919625822208,8023549245281587200 |
| PARAM_VALUE | 0 | ctlr->mem_ops->exec_op | 0,4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->mem_ops->get_name | 0,4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->mem_ops->poll_status | 0,1805854965638074368,5682553516745547776 |
| PARAM_VALUE | 0 | ctlr->mem_ops->supports_op | 0,4096-ptr_max |
| PARAM_VALUE | 1 | start | 0-s16max |
| PARAM_VALUE | 2 | end | 1-32768 |
| BUF_SIZE | 0 | ctlr | (-1),2864-5752 |
| BUF_SIZE | 0 | ctlr | (-1),2864-5752 |
| BUF_SIZE | 0 | ctlr->dev.parent | (-1),1616 |
| BUF_SIZE | 0 | ctlr->dma_rx->slave | (-1),1616 |
| BUF_SIZE | 0 | ctlr->dma_tx->slave | (-1),1616 |
| BUF_SIZE | 0 | ctlr->mem_caps | (-1),6 |
| BUF_SIZE | 0 | ctlr->mem_ops | (-1)-0,72 |
| DATA_SOURCE | 0 | ctlr | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | ctlr->num_chipselect | 0-32[c] |
| HOST_DATA | 0 | ctlr->num_data_lanes | 0-u16max[c] |
| USER_DATA | 0 | ctlr->bus_num | 0-s16max |
| USER_DATA | 1 | start | 0-s16max |
| USER_DATA | 2 | end | 1-32768 |
| NO_OVERFLOW_SIMPLE | 0 | ctlr->num_chipselect | |
| UNITS | 1 | start | unit_array_size |
drivers/spi/spi.c spi_register_controller() -> spi_controller_id_alloc()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctlr | 4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->bus_num | s16min-(-1) |
| PARAM_VALUE | 0 | ctlr->dev.cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | ctlr->dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | ctlr->dev.parent | 1-u64max |
| PARAM_VALUE | 0 | ctlr->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | ctlr->dma_tx->router->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | ctlr->mem_ops | 0,4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->mem_ops->adjust_op_size | 0,4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->mem_ops->dirmap_create | 0,4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->mem_ops->dirmap_destroy | 0 |
| PARAM_VALUE | 0 | ctlr->mem_ops->dirmap_read | 0,4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->mem_ops->dirmap_write | 0,715988303612325888,4273826429031796736,4713989647023087616,5615016919625822208,8023549245281587200 |
| PARAM_VALUE | 0 | ctlr->mem_ops->exec_op | 0,4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->mem_ops->get_name | 0,4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->mem_ops->poll_status | 0,1805854965638074368,5682553516745547776 |
| PARAM_VALUE | 0 | ctlr->mem_ops->supports_op | 0,4096-ptr_max |
| PARAM_VALUE | 1 | start | 0-s32max |
| PARAM_VALUE | 2 | end | 0 |
| BUF_SIZE | 0 | ctlr | (-1),2864-5752 |
| BUF_SIZE | 0 | ctlr | (-1),2864-5752 |
| BUF_SIZE | 0 | ctlr->dev.parent | (-1),1616 |
| BUF_SIZE | 0 | ctlr->dma_rx->slave | (-1),1616 |
| BUF_SIZE | 0 | ctlr->dma_tx->slave | (-1),1616 |
| BUF_SIZE | 0 | ctlr->mem_caps | (-1),6 |
| BUF_SIZE | 0 | ctlr->mem_ops | (-1)-0,72 |
| DATA_SOURCE | 0 | ctlr | $0 |
| FUZZY_MAX | 1 | start | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | ctlr->num_chipselect | 0-32[c] |
| HOST_DATA | 0 | ctlr->num_data_lanes | 0-u16max[c] |
| USER_DATA | 0 | ctlr->bus_num | s16min-(-1) |
| NO_OVERFLOW_SIMPLE | 0 | ctlr->num_chipselect |