Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 6 files:
- drivers/char/agp/intel-gtt.c, line 1042
- drivers/gpu/drm/i915/i915_gmch.c, line 58
- drivers/pci/bus.c, line 290
- drivers/pci/setup-res.c
- drivers/pcmcia/rsrc_nonstatic.c
- drivers/staging/vme_user/vme_tsi148.c, line 754
Smatch caller information:
drivers/pcmcia/rsrc_nonstatic.c __nonstatic_find_io_region() -> pci_bus_alloc_resource()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | res | 4096-ptr_max |
| PARAM_VALUE | 1 | res->end | 0-2147483646,18446744071562067967-u64max |
| PARAM_VALUE | 1 | res->flags | 256 |
| PARAM_VALUE | 1 | res->start | 0 |
| PARAM_VALUE | 2 | size | 0-s32max,18446744071562067968-u64max |
| PARAM_VALUE | 3 | align | 1 |
| PARAM_VALUE | 4 | min | 0-u32max |
| PARAM_VALUE | 5 | type_mask | 0 |
| PARAM_VALUE | 7 | alignf_data | 4701412803410690048 |
| BUF_SIZE | 1 | res | 64 |
| BUF_SIZE | 7 | alignf_data | 24 |
| CAPPED_DATA | 4 | min | 1 |
| DATA_SOURCE | 1 | res | r pcmcia_make_resource |
| DATA_SOURCE | 2 | size | $2 |
| DATA_SOURCE | 4 | min | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 2 | size | unit_byte |
| LOCK2 | &s->ops_mutex | ||
| TYPE_LOCK | (struct pcmcia_socket)->ops_mutex |
drivers/pcmcia/rsrc_nonstatic.c nonstatic_find_mem_region() -> pci_bus_alloc_resource()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | res | 4096-ptr_max |
| PARAM_VALUE | 3 | align | 1 |
| PARAM_VALUE | 5 | type_mask | 0 |
| PARAM_VALUE | 7 | alignf_data | 5853589550523351040 |
| BUF_SIZE | 1 | res | 64 |
| BUF_SIZE | 7 | alignf_data | 24 |
| CAPPED_DATA | 4 | min | 1 |
| DATA_SOURCE | 1 | res | r pcmcia_make_resource |
| DATA_SOURCE | 2 | size | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 2 | size | |
| UNITS | 2 | size | unit_byte |
| LOCK2 | &s->ops_mutex | ||
| HALF_LOCKED2 | &s->skt_mutex | ||
| TYPE_LOCK | (struct pcmcia_socket)->ops_mutex |
drivers/pci/setup-res.c __pci_assign_resource() -> pci_bus_alloc_resource()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | res | 4096-ptr_max |
| PARAM_VALUE | 4 | min | 0-4503599628419072 |
| PARAM_VALUE | 5 | type_mask | 1056768 |
| PARAM_VALUE | 7 | alignf_data | 4096-ptr_max |
| BUF_SIZE | 7 | alignf_data | (-1),1-s32max |
| CAPPED_DATA | 4 | min | 1 |
| DATA_SOURCE | 0 | bus | $0 |
| DATA_SOURCE | 2 | size | $3 |
| DATA_SOURCE | 3 | align | $4 |
| DATA_SOURCE | 7 | alignf_data | $1 |
| FUZZY_MAX | 4 | min | 4096 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | bus->bridge_ctl | 0-u16max |
| UNITS | 7 | alignf_data | unit_byte |
| HALF_LOCKED2 | &dev->dev.mutex |
drivers/pci/setup-res.c __pci_assign_resource() -> pci_bus_alloc_resource()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bus | 4096-ptr_max |
| PARAM_VALUE | 1 | res | 4096-ptr_max |
| PARAM_VALUE | 4 | min | 0-4503599628419072 |
| PARAM_VALUE | 5 | type_mask | 8192 |
| PARAM_VALUE | 7 | alignf_data | 4096-ptr_max |
| BUF_SIZE | 7 | alignf_data | (-1),1-s32max |
| CAPPED_DATA | 4 | min | 1 |
| DATA_SOURCE | 0 | bus | $0 |
| DATA_SOURCE | 2 | size | $3 |
| DATA_SOURCE | 3 | align | $4 |
| DATA_SOURCE | 7 | alignf_data | $1 |
| FUZZY_MAX | 4 | min | 4096 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 7 | alignf_data | unit_byte |
| HALF_LOCKED2 | &dev->dev.mutex |
drivers/pci/setup-res.c __pci_assign_resource() -> pci_bus_alloc_resource()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bus | 4096-ptr_max |
| PARAM_VALUE | 1 | res | 4096-ptr_max |
| PARAM_VALUE | 1 | res->flags | 8192-u64max |
| PARAM_VALUE | 4 | min | 0-4503599628419072 |
| PARAM_VALUE | 5 | type_mask | 0 |
| PARAM_VALUE | 7 | alignf_data | 4096-ptr_max |
| BUF_SIZE | 7 | alignf_data | (-1),1-s32max |
| CAPPED_DATA | 4 | min | 1 |
| DATA_SOURCE | 0 | bus | $0 |
| DATA_SOURCE | 2 | size | $3 |
| DATA_SOURCE | 3 | align | $4 |
| DATA_SOURCE | 7 | alignf_data | $1 |
| FUZZY_MAX | 4 | min | 4096 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 7 | alignf_data | unit_byte |
| HALF_LOCKED2 | &dev->dev.mutex |
drivers/gpu/drm/i915/i915_gmch.c intel_alloc_mchbar_resource() -> pci_bus_alloc_resource()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bus | 4096-ptr_max |
| PARAM_VALUE | 1 | res | 4096-ptr_max |
| PARAM_VALUE | 1 | res->flags | 512 |
| PARAM_VALUE | 1 | res->name | 3772907694369710080 |
| PARAM_VALUE | 2 | size | 16384 |
| PARAM_VALUE | 3 | align | 16384 |
| PARAM_VALUE | 4 | min | 0-4503599628419072 |
| PARAM_VALUE | 5 | type_mask | 0 |
| PARAM_VALUE | 7 | alignf_data | 4096-ptr_max |
| TERMINATED | 1 | res->name | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &pdev->dev.mutex | ||
| HALF_LOCKED2 | &pool->lock |
drivers/staging/vme_user/vme_tsi148.c tsi148_alloc_resource() -> pci_bus_alloc_resource()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | res | 4096-ptr_max |
| PARAM_VALUE | 1 | res->end | 1-u64max |
| PARAM_VALUE | 1 | res->flags | 512 |
| PARAM_VALUE | 1 | res->name | 1-u64max |
| PARAM_VALUE | 1 | res->start | 0 |
| PARAM_VALUE | 2 | size | 1-u64max |
| PARAM_VALUE | 3 | align | 65536 |
| PARAM_VALUE | 4 | min | 0-4503599628419072 |
| PARAM_VALUE | 5 | type_mask | 0 |
| PARAM_VALUE | 6 | alignf | 0 |
| PARAM_VALUE | 7 | alignf_data | 0 |
| CAPPED_DATA | 2 | size | 1 |
| CAPPED_DATA | 2 | size | 1 |
| DATA_SOURCE | 2 | size | $1 |
| NOSPEC | 2 | size | |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | res->end | 1-u64max[c] |
| USER_DATA | 2 | size | 1-u64max[c] |
| NO_OVERFLOW_SIMPLE | 1 | res->end | |
| NO_OVERFLOW_SIMPLE | 2 | size | |
| LOCK2 | &image->lock | ||
| TYPE_LOCK | (struct vme_master_resource)->lock |
drivers/char/agp/intel-gtt.c intel_alloc_chipset_flush_resource() -> pci_bus_alloc_resource()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | res | 4352363112127643728 |
| PARAM_VALUE | 2 | size | 4096 |
| PARAM_VALUE | 3 | align | 4096 |
| PARAM_VALUE | 4 | min | 0-4503599628419072 |
| PARAM_VALUE | 5 | type_mask | 0 |
| PARAM_VALUE | 7 | alignf_data | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 2 | size | unit_byte |
| UNITS | 3 | align | unit_byte |