Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 14 files:

Smatch caller information:

drivers/video/fbdev/uvesafb.c uvesafb_probe() -> fb_destroy_modelist()

Type Parameter Key Value
PARAM_VALUE 0 head 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/core/fbmem.c do_unregister_framebuffer() -> fb_destroy_modelist()

Type Parameter Key Value
PARAM_VALUE 0 head 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &registration_lock
HALF_LOCKED2 &dev->clientlist_mutex
HALF_LOCKED2 &dev->reclaim_sem
HALF_LOCKED2 &hdev->driver_input_lock
HALF_LOCKED2 global &disconnect_mutex

drivers/video/fbdev/aty/radeon_base.c radeonfb_pci_register() -> fb_destroy_modelist()

Type Parameter Key Value
PARAM_VALUE 0 head 4096-ptr_max
PARAM_VALUE 0 head->prev 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/s3fb.c s3_pci_probe() -> fb_destroy_modelist()

Type Parameter Key Value
PARAM_VALUE 0 head 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/core/fbsysfs.c store_modes() -> fb_destroy_modelist()

Type Parameter Key Value
PARAM_VALUE 0 head 4096-ptr_max
PARAM_VALUE 0 head->prev 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &fb_info->lock
LOCK2 &of->mutex
LOCK2 global &console_sem
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct fb_info)->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/video/fbdev/core/fbsysfs.c store_modes() -> fb_destroy_modelist()

Type Parameter Key Value
PARAM_VALUE 0 head 3013462590886514688
PARAM_VALUE 0 head->next 4096-ptr_max
PARAM_VALUE 0 head->prev 3013462590886514688
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &fb_info->lock
LOCK2 &of->mutex
LOCK2 global &console_sem
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct fb_info)->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/video/fbdev/savage/savagefb_driver.c savagefb_probe() -> fb_destroy_modelist()

Type Parameter Key Value
PARAM_VALUE 0 head 4096-ptr_max
PARAM_VALUE 0 head->prev 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/nvidia/nvidia.c nvidiafb_probe() -> fb_destroy_modelist()

Type Parameter Key Value
PARAM_VALUE 0 head 4096-ptr_max
PARAM_VALUE 0 head->prev 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/udlfb.c dlfb_ops_destroy() -> fb_destroy_modelist()

Type Parameter Key Value
PARAM_VALUE 0 head 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/udlfb.c dlfb_setup_modes() -> fb_destroy_modelist()

Type Parameter Key Value
PARAM_VALUE 0 head 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &info->lock
HALF_LOCKED2 &of->mutex

drivers/video/fbdev/tridentfb.c trident_pci_probe() -> fb_destroy_modelist()

Type Parameter Key Value
PARAM_VALUE 0 head 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/carminefb.c alloc_carmine_fb() -> fb_destroy_modelist()

Type Parameter Key Value
PARAM_VALUE 0 head 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/i740fb.c i740fb_probe() -> fb_destroy_modelist()

Type Parameter Key Value
PARAM_VALUE 0 head 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/tdfxfb.c tdfxfb_probe() -> fb_destroy_modelist()

Type Parameter Key Value
PARAM_VALUE 0 head 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/smscufx.c ufx_free_framebuffer() -> fb_destroy_modelist()

Type Parameter Key Value
PARAM_VALUE 0 head 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &disconnect_mutex

drivers/video/fbdev/smscufx.c ufx_setup_modes() -> fb_destroy_modelist()

Type Parameter Key Value
PARAM_VALUE 0 head 4096-ptr_max
PARAM_VALUE 0 head->next 4096-ptr_max
PARAM_VALUE 0 head->prev 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &info->lock

drivers/video/fbdev/smscufx.c ufx_usb_probe() -> fb_destroy_modelist()

Type Parameter Key Value
PARAM_VALUE 0 head 4096-ptr_max
PARAM_VALUE 0 head->prev 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL