Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 2 files as a function:
- drivers/video/fbdev/core/fbmon.c, line 695 (as a function)
- drivers/video/fbdev/core/fbmon.c, line 1417 (as a function)
Referenced in 17 files:
- drivers/video/fbdev/aty/radeon_base.c
- drivers/video/fbdev/core/fbmon.c
- drivers/video/fbdev/i740fb.c, line 1122
- drivers/video/fbdev/i810/i810_main.c, line 1958
- drivers/video/fbdev/neofb.c
- drivers/video/fbdev/nvidia/nv_setup.c
- drivers/video/fbdev/nvidia/nvidia.c
- drivers/video/fbdev/omap2/omapfb/omapfb-main.c, line 2301
- drivers/video/fbdev/riva/fbdev.c, line 1988
- drivers/video/fbdev/s3fb.c
- drivers/video/fbdev/savage/savagefb_driver.c
- drivers/video/fbdev/smscufx.c
- drivers/video/fbdev/tdfxfb.c, line 1674
- drivers/video/fbdev/tridentfb.c
- drivers/video/fbdev/udlfb.c, line 973
- drivers/video/fbdev/uvesafb.c
- drivers/video/fbdev/via/via_aux_edid.c
Smatch caller information:
drivers/video/fbdev/uvesafb.c uvesafb_probe() -> fb_destroy_modedb()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/video/fbdev/uvesafb.c uvesafb_remove() -> fb_destroy_modedb()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &_dev->mutex |
drivers/video/fbdev/aty/radeon_base.c radeonfb_pci_register() -> fb_destroy_modedb()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | modedb | 1-u64max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/video/fbdev/aty/radeon_base.c radeonfb_pci_unregister() -> fb_destroy_modedb()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | modedb | 1-u64max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/video/fbdev/s3fb.c s3_pci_probe() -> fb_destroy_modedb()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/video/fbdev/s3fb.c s3_pci_probe() -> fb_destroy_modedb()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/video/fbdev/savage/savagefb_driver.c savagefb_probe() -> fb_destroy_modedb()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/video/fbdev/savage/savagefb_driver.c savagefb_probe() -> fb_destroy_modedb()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/video/fbdev/nvidia/nvidia.c nvidia_set_fbinfo() -> fb_destroy_modedb()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/video/fbdev/nvidia/nvidia.c nvidiafb_probe() -> fb_destroy_modedb()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | modedb | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/video/fbdev/nvidia/nvidia.c nvidiafb_remove() -> fb_destroy_modedb()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/video/fbdev/riva/fbdev.c rivafb_probe() -> fb_destroy_modedb()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | modedb | 0,4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/video/fbdev/udlfb.c dlfb_ops_destroy() -> fb_destroy_modedb()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | modedb | 1-u64max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/video/fbdev/nvidia/nv_setup.c NVCommonSetup() -> fb_destroy_modedb()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/video/fbdev/nvidia/nv_setup.c NVCommonSetup() -> fb_destroy_modedb()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/video/fbdev/nvidia/nv_setup.c NVCommonSetup() -> fb_destroy_modedb()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/video/fbdev/tridentfb.c trident_pci_probe() -> fb_destroy_modedb()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/video/fbdev/tridentfb.c trident_pci_probe() -> fb_destroy_modedb()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/video/fbdev/neofb.c neofb_probe() -> fb_destroy_modedb()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | modedb | 4096-ptr_max |
| CAPPED_DATA | 0 | modedb | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/video/fbdev/neofb.c neofb_remove() -> fb_destroy_modedb()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/video/fbdev/i740fb.c i740fb_probe() -> fb_destroy_modedb()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/video/fbdev/tdfxfb.c tdfxfb_probe() -> fb_destroy_modedb()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | modedb | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/video/fbdev/via/via_aux_edid.c cleanup() -> fb_destroy_modedb()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/video/fbdev/via/via_aux_edid.c query_edid() -> fb_destroy_modedb()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/video/fbdev/core/fbmon.c fb_get_monitor_limits() -> fb_destroy_modedb()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | modedb | 4096-ptr_max |
| BUF_SIZE | 0 | modedb | s32min-s32max |
| DATA_SOURCE | 0 | modedb | r fb_create_modedb |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &of->mutex |
drivers/video/fbdev/smscufx.c ufx_free_framebuffer() -> fb_destroy_modedb()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | modedb | 1-u64max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | global &disconnect_mutex |
drivers/video/fbdev/smscufx.c ufx_usb_probe() -> fb_destroy_modedb()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | modedb | 0,4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |