Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 2 files as a function:
- drivers/video/aperture.c, line 239 (as a function)
- include/linux/aperture.h, line 23 (as a function)
Referenced in 11 files:
- drivers/gpu/drm/sysfb/corebootdrm.c, line 404
- drivers/gpu/drm/sysfb/efidrm.c, line 228
- drivers/gpu/drm/sysfb/ofdrm.c, line 955
- drivers/gpu/drm/sysfb/simpledrm.c
- drivers/gpu/drm/sysfb/vesadrm.c, line 497
- drivers/video/aperture.c, line 245
- drivers/video/fbdev/efifb.c, line 572
- drivers/video/fbdev/offb.c, line 516
- drivers/video/fbdev/simplefb.c, line 635
- drivers/video/fbdev/vesafb.c, line 484
- drivers/video/fbdev/vga16fb.c, line 1387
Smatch caller information:
drivers/gpu/drm/sysfb/efidrm.c efidrm_device_create() -> devm_aperture_acquire_for_platform_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pdev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.driver_data | 0,4096-ptr_max |
| PARAM_VALUE | 2 | size | 1-4611686014132420609 |
| CAPPED_DATA | 2 | size | 1 |
| DATA_SOURCE | 0 | pdev | $1 |
| DATA_SOURCE | 2 | size | r drm_sysfb_get_visible_size_si |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/gpu/drm/sysfb/corebootdrm.c corebootdrm_probe() -> devm_aperture_acquire_for_platform_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pdev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.driver_data | 0-ptr_max |
| PARAM_VALUE | 0 | pdev->num_resources | 1-u32max |
| PARAM_VALUE | 1 | base | 1-u64max |
| PARAM_VALUE | 2 | size | 1-s32max,18446744071562067968-u64max |
| CAPPED_DATA | 0 | pdev->num_resources | 1 |
| CAPPED_DATA | 1 | base | 1 |
| CAPPED_DATA | 1 | base | 1 |
| CAPPED_DATA | 2 | size | 1 |
| CAPPED_DATA | 2 | size | 1 |
| DATA_SOURCE | 0 | pdev | $0 |
| DATA_SOURCE | 2 | size | r corebootdrm_get_size_fb |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/video/fbdev/vesafb.c vesafb_probe() -> devm_aperture_acquire_for_platform_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pdev | 4096-ptr_max |
| 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.devres_head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.devres_head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.devres_head.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.driver | 0,4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.driver_data | 4096-ptr_max |
| PARAM_VALUE | 1 | base | 0-u32max |
| PARAM_VALUE | 2 | size | 0-u32max |
| DATA_SOURCE | 0 | pdev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 1 | base | unit_byte |
drivers/gpu/drm/sysfb/simpledrm.c simpledrm_device_create() -> devm_aperture_acquire_for_platform_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pdev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.driver_data | 0-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.of_node | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.of_node->properties | 4096-ptr_max |
| DATA_SOURCE | 0 | pdev | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/gpu/drm/sysfb/simpledrm.c simpledrm_device_create() -> devm_aperture_acquire_for_platform_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pdev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.driver_data | 0-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.of_node->properties | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->num_resources | 1-u32max |
| CAPPED_DATA | 0 | pdev->num_resources | 1 |
| DATA_SOURCE | 0 | pdev | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/video/fbdev/efifb.c efifb_probe() -> devm_aperture_acquire_for_platform_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pdev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.devres_head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.devres_head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.devres_head.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.driver_data | 4096-ptr_max |
| PARAM_VALUE | 2 | size | 0-u32max |
| DATA_SOURCE | 0 | pdev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | base | 0-u64max |
| USER_DATA | 2 | size | 0-u32max[c] |
| UNITS | 1 | base | unit_byte |
drivers/gpu/drm/sysfb/vesadrm.c vesadrm_device_create() -> devm_aperture_acquire_for_platform_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pdev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.driver_data | 0,4096-ptr_max |
| PARAM_VALUE | 2 | size | 1-4611686014132420609 |
| CAPPED_DATA | 2 | size | 1 |
| DATA_SOURCE | 0 | pdev | $1 |
| DATA_SOURCE | 2 | size | r drm_sysfb_get_visible_size_si |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/gpu/drm/sysfb/ofdrm.c ofdrm_device_create() -> devm_aperture_acquire_for_platform_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pdev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.driver_data | 0,4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.of_node->properties | 4096-ptr_max |
| PARAM_VALUE | 1 | base | 0,4096-u64max |
| DATA_SOURCE | 0 | pdev | $1 |
| BIT_INFO | 1 | base | 0x0,0xfffffffffffff000 |
| BIT_INFO | 1 | base | 0x0,0xfffffffffffff000 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/video/fbdev/vga16fb.c vga16fb_probe() -> devm_aperture_acquire_for_platform_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pdev | 4096-ptr_max |
| 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.driver | 0,4096-ptr_max |
| PARAM_VALUE | 1 | base | 655360 |
| PARAM_VALUE | 2 | size | 65536 |
| DATA_SOURCE | 0 | pdev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING |