Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 2 files as a function:
Referenced in 3 files:
- drivers/gpu/drm/i915/display/intel_vga.c, line 277
- drivers/pci/vgaarb.c, line 932
- drivers/vfio/pci/vfio_pci_core.c
Smatch caller information:
drivers/vfio/pci/vfio_pci_core.c vfio_pci_vga_init() -> vga_set_legacy_decoding()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pdev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->bus | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->hdr_type | 0 |
| PARAM_VALUE | 0 | pdev->slot | 0,4096-ptr_max |
| PARAM_VALUE | 1 | decodes | 12,15 |
| CAPPED_DATA | 0 | pdev | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
drivers/vfio/pci/vfio_pci_core.c vfio_pci_vga_uninit() -> vga_set_legacy_decoding()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pdev | 4096-ptr_max |
| PARAM_VALUE | 1 | decodes | 15 |
| CAPPED_DATA | 0 | pdev | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | pdev->current_state | 0-3[c] |
drivers/gpu/drm/i915/display/intel_vga.c intel_vga_disable() -> vga_set_legacy_decoding()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pdev | 4096-ptr_max |
| PARAM_VALUE | 1 | decodes | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | pdev | unit_byte |
| HALF_LOCKED2 | &display->drm->mode_config.connection_mutex | ||
| HALF_LOCKED2 | &display->drm->mode_config.mutex | ||
| HALF_LOCKED2 | &power_domains->lock |