Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 17 files:

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