Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/video/fbdev/core/fbmem.c do_unregister_framebuffer() -> fbcon_delete_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/core/fbsysfs.c store_modes() -> fbcon_delete_modelist()

Type Parameter Key Value
PARAM_VALUE 0 head 3013462590886514688
PARAM_VALUE 0 head->next 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