Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/pci/pcie/edr.c edr_handle_event() -> acpi_send_edr_status()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pdev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->bus->self->link_bwctrl->cdev | (-22),(-19),(-12),0-s64max |
| PARAM_VALUE | 0 | pdev->dev.bus | 0,4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.class | 0,4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.cma_area->available_count | 0-s64max |
| PARAM_VALUE | 0 | pdev->dev.cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | pdev->dev.dma_io_tlb_mem->for_alloc | 0-1 |
| PARAM_VALUE | 0 | pdev->dev.driver | 0,4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.kobj.parent->sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | pdev->dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | pdev->dev.msi.data->__iter_idx | 0-s64max |
| PARAM_VALUE | 0 | pdev->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | pdev->driver->groups | 0 |
| PARAM_VALUE | 0 | pdev->driver->resume | 0,4096-ptr_max |
| PARAM_VALUE | 0 | pdev->driver->suspend | 0,4096-ptr_max |
| PARAM_VALUE | 0 | pdev->link_bwctrl->cdev | (-22),(-19),(-12),0-s64max |
| PARAM_VALUE | 0 | pdev->p2pdma->p2pmem_published | 0-1 |
| PARAM_VALUE | 0 | pdev->subordinate->self->link_bwctrl->cdev | (-4095)-s64max |
| PARAM_VALUE | 0 | *pdev->saved_config_space | 0-4294967295 |
| PARAM_VALUE | 1 | edev | 4096-ptr_max |
| PARAM_VALUE | 1 | edev->bus | 4096-ptr_max |
| PARAM_VALUE | 1 | edev->bus->self->link_bwctrl->cdev | (-22),(-19),(-12),0-s64max |
| PARAM_VALUE | 1 | edev->dev.bus | 0,4096-ptr_max |
| PARAM_VALUE | 1 | edev->dev.class | 0,4096-ptr_max |
| PARAM_VALUE | 1 | edev->dev.cma_area->available_count | 0-s64max |
| PARAM_VALUE | 1 | edev->dev.cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 1 | edev->dev.dma_io_tlb_mem->for_alloc | 0-1 |
| PARAM_VALUE | 1 | edev->dev.driver | 0,4096-ptr_max |
| PARAM_VALUE | 1 | edev->dev.kobj.parent->sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 1 | edev->dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 1 | edev->dev.msi.data->__iter_idx | 0-s64max |
| PARAM_VALUE | 1 | edev->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 1 | edev->dpc_cap | 1-u16max |
| PARAM_VALUE | 1 | edev->driver->groups | 0 |
| PARAM_VALUE | 1 | edev->driver->resume | 0,4096-ptr_max |
| PARAM_VALUE | 1 | edev->driver->suspend | 0,4096-ptr_max |
| PARAM_VALUE | 1 | edev->error_state | 0-2,4-u32max |
| PARAM_VALUE | 1 | edev->is_virtfn | 0 |
| PARAM_VALUE | 1 | edev->link_bwctrl->cdev | (-22),(-19),(-12),0-s64max |
| PARAM_VALUE | 1 | edev->p2pdma->p2pmem_published | 0-1 |
| PARAM_VALUE | 1 | edev->pcie_cap | 0-1 |
| PARAM_VALUE | 1 | edev->subordinate->self->link_bwctrl->cdev | (-4095)-s64max |
| PARAM_VALUE | 2 | status | 128 |
| BUF_SIZE | 0 | pdev | 16,24,40,56,108-1096,1384,1600,1616,1752,2072,2480,2576,7472,8064 |
| BUF_SIZE | 0 | pdev | 16,24,40,56,108-1096,1384,1600,1616,1752,2072,2480,2576,7472,8064 |
| BUF_SIZE | 1 | edev | (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2480,2576,7472,8064 |
| BUF_SIZE | 1 | edev | (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2480,2576,7472,8064 |
| DATA_SOURCE | 0 | pdev | $2 |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
drivers/pci/pcie/edr.c edr_handle_event() -> acpi_send_edr_status()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pdev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->bus->self->link_bwctrl->cdev | (-22),(-19),(-12),0-s64max |
| PARAM_VALUE | 0 | pdev->dev.bus | 0,4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.class | 0,4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.cma_area->available_count | 0-s64max |
| PARAM_VALUE | 0 | pdev->dev.cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | pdev->dev.dma_io_tlb_mem->for_alloc | 0-1 |
| PARAM_VALUE | 0 | pdev->dev.driver | 0,4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.kobj.parent->sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | pdev->dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | pdev->dev.msi.data->__iter_idx | 0-s64max |
| PARAM_VALUE | 0 | pdev->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | pdev->driver->groups | 0 |
| PARAM_VALUE | 0 | pdev->driver->resume | 0,4096-ptr_max |
| PARAM_VALUE | 0 | pdev->driver->suspend | 0,4096-ptr_max |
| PARAM_VALUE | 0 | pdev->link_bwctrl->cdev | (-22),(-19),(-12),0-s64max |
| PARAM_VALUE | 0 | pdev->p2pdma->p2pmem_published | 0-1 |
| PARAM_VALUE | 0 | pdev->subordinate->self->link_bwctrl->cdev | (-4095)-s64max |
| PARAM_VALUE | 0 | *pdev->saved_config_space | 0-4294967295 |
| PARAM_VALUE | 1 | edev | 4096-ptr_max |
| PARAM_VALUE | 1 | edev->bus | 4096-ptr_max |
| PARAM_VALUE | 1 | edev->bus->self->link_bwctrl->cdev | (-22),(-19),(-12),0-s64max |
| PARAM_VALUE | 1 | edev->dev.bus | 0,4096-ptr_max |
| PARAM_VALUE | 1 | edev->dev.class | 0,4096-ptr_max |
| PARAM_VALUE | 1 | edev->dev.cma_area->available_count | 0-s64max |
| PARAM_VALUE | 1 | edev->dev.cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 1 | edev->dev.dma_io_tlb_mem->for_alloc | 0-1 |
| PARAM_VALUE | 1 | edev->dev.driver | 0,4096-ptr_max |
| PARAM_VALUE | 1 | edev->dev.kobj.parent->sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 1 | edev->dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 1 | edev->dev.msi.data->__iter_idx | 0-s64max |
| PARAM_VALUE | 1 | edev->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 1 | edev->driver->groups | 0 |
| PARAM_VALUE | 1 | edev->driver->resume | 0,4096-ptr_max |
| PARAM_VALUE | 1 | edev->driver->suspend | 0,4096-ptr_max |
| PARAM_VALUE | 1 | edev->is_virtfn | 0 |
| PARAM_VALUE | 1 | edev->link_bwctrl->cdev | (-22),(-19),(-12),0-s64max |
| PARAM_VALUE | 1 | edev->p2pdma->p2pmem_published | 0-1 |
| PARAM_VALUE | 1 | edev->subordinate->self->link_bwctrl->cdev | (-4095)-s64max |
| PARAM_VALUE | 2 | status | 129 |
| BUF_SIZE | 0 | pdev | 16,24,40,56,108-1096,1384,1600,1616,1752,2072,2480,2576,7472,8064 |
| BUF_SIZE | 0 | pdev | 16,24,40,56,108-1096,1384,1600,1616,1752,2072,2480,2576,7472,8064 |
| BUF_SIZE | 1 | edev | (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2480,2576,7472,8064 |
| BUF_SIZE | 1 | edev | (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2480,2576,7472,8064 |
| DATA_SOURCE | 0 | pdev | $2 |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |