Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 46 files:

Smatch caller information:

drivers/tty/tty_io.c show_cons_active() -> console_lock()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &of->mutex
LOCK2 global &console_mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/video/fbdev/core/fbcon.c cursor_blink_show() -> console_lock()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/video/fbdev/core/fbcon.c cursor_blink_store() -> console_lock()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/video/fbdev/core/fbcon.c fb_console_init() -> console_lock()

Type Parameter Key Value
NOCHECK_CALL

drivers/video/fbdev/core/fbcon.c fbcon_fb_registered() -> console_lock()

Type Parameter Key Value
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

drivers/video/fbdev/core/fbcon.c fbcon_fb_unbind() -> console_lock()

Type Parameter Key Value
PREEMPT_ADD
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/fbcon.c fbcon_fb_unregistered() -> console_lock()

Type Parameter Key Value
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/fbcon.c fbcon_get_con2fb_map_ioctl() -> console_lock()

Type Parameter Key Value
NOCHECK_CALL

drivers/video/fbdev/core/fbcon.c fbcon_register_existing_fbs() -> console_lock()

Type Parameter Key Value
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/video/fbdev/core/fbcon.c fbcon_remap_all() -> console_lock()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &vgasr_mutex

drivers/video/fbdev/core/fbcon.c fbcon_set_con2fb_map_ioctl() -> console_lock()

Type Parameter Key Value
NOCHECK_CALL

drivers/video/fbdev/core/fbcon.c rotate_all_store() -> console_lock()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/video/fbdev/core/fbcon.c rotate_show() -> console_lock()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/video/fbdev/core/fbcon.c rotate_store() -> console_lock()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/accessibility/speakup/selection.c __speakup_set_selection() -> console_lock()

Type Parameter Key Value
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/tty/serial/serial_core.c uart_configure_port() -> console_lock()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 _T->lock
HALF_LOCKED2 global &max3100s_lock

drivers/tty/serial/serial_core.c uart_configure_port() -> console_lock()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 _T->lock
HALF_LOCKED2 global &max3100s_lock

drivers/tty/vt/vt_ioctl.c class_console_lock_constructor() -> console_lock()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &system_transition_mutex

drivers/tty/vt/vt_ioctl.c vt_ioctl() -> console_lock()

Type Parameter Key Value
NOCHECK_CALL

drivers/md/bcache/debug.c bch_btree_verify() -> console_lock()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &b->c->verify_lock
LOCK2 &b->io_mutex
HALF_LOCKED2 &b->write_lock
HALF_LOCKED2 &n1->io_mutex
HALF_LOCKED2 &n1->write_lock
HALF_LOCKED2 &n2->io_mutex
HALF_LOCKED2 b
TYPE_LOCK (struct btree)->io_mutex
TYPE_LOCK (struct cache_set)->verify_lock

drivers/video/fbdev/sh_mobile_lcdcfb.c sh_mobile_lcdc_release() -> console_lock()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &ch->open_lock
HALF_LOCKED2 &info->lock
TYPE_LOCK (struct sh_mobile_lcdc_chan)->open_lock

drivers/pci/vgaarb.c vga_remove_vgacon() -> console_lock()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pdev->dev.mutex

drivers/video/fbdev/s3fb.c s3_pci_resume() -> console_lock()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/s3fb.c s3_pci_suspend() -> console_lock()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/vt8623fb.c vt8623_pci_resume() -> console_lock()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/vt8623fb.c vt8623_pci_suspend() -> console_lock()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/core/fbsysfs.c activate() -> console_lock()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/video/fbdev/core/fbsysfs.c store_blank() -> console_lock()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/video/fbdev/core/fbsysfs.c store_fbstate() -> console_lock()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/video/fbdev/core/fbsysfs.c store_mode() -> console_lock()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

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

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/video/fbdev/core/fbsysfs.c store_pan() -> console_lock()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/md/bcache/bset.c bch_dump_bucket() -> console_lock()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

kernel/printk/printk.c __pr_flush() -> console_lock()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

kernel/printk/printk.c __pr_flush() -> console_lock()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

kernel/printk/printk.c console_call_setup() -> console_lock()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &console_mutex
HALF_LOCKED2 &_T->lock->lock
HALF_LOCKED2 &buffer->mutex
HALF_LOCKED2 &frag->frag_sem
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 _T->flags
HALF_LOCKED2 _T->lock
HALF_LOCKED2 global &dynamic_netconsole_mutex
HALF_LOCKED2 global &goldfish_tty_lock
HALF_LOCKED2 global &psinfo_lock
HALF_LOCKED2 irq

kernel/printk/printk.c console_device() -> console_lock()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &tty_mutex

kernel/printk/printk.c console_unblank() -> console_lock()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags
HALF_LOCKED2 irq

kernel/printk/printk.c get_init_console_seq() -> console_lock()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &console_mutex
HALF_LOCKED2 &_T->lock->lock
HALF_LOCKED2 &buffer->mutex
HALF_LOCKED2 &frag->frag_sem
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 _T->flags
HALF_LOCKED2 _T->lock
HALF_LOCKED2 global &dynamic_netconsole_mutex
HALF_LOCKED2 global &goldfish_tty_lock
HALF_LOCKED2 global &psinfo_lock
HALF_LOCKED2 irq

kernel/printk/printk.c get_init_console_seq() -> console_lock()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &console_mutex
LOCK2 global &console_sem
HALF_LOCKED2 &_T->lock->lock
HALF_LOCKED2 &buffer->mutex
HALF_LOCKED2 &frag->frag_sem
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 _T->flags
HALF_LOCKED2 _T->lock
HALF_LOCKED2 global &dynamic_netconsole_mutex
HALF_LOCKED2 global &goldfish_tty_lock
HALF_LOCKED2 global &psinfo_lock
HALF_LOCKED2 irq

kernel/printk/printk.c legacy_kthread_func() -> console_lock()

Type Parameter Key Value
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &console_sem

drivers/tty/hvc/hvc_console.c hvc_remove() -> console_lock()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &xenwatch_mutex

drivers/video/fbdev/savage/savagefb_driver.c savagefb_resume() -> console_lock()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/savage/savagefb_driver.c savagefb_suspend_late() -> console_lock()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->mutex

drivers/video/fbdev/geode/gxfb_core.c gxfb_resume() -> console_lock()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/geode/gxfb_core.c gxfb_suspend() -> console_lock()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/nvidia/nvidia.c nvidiafb_resume() -> console_lock()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/nvidia/nvidia.c nvidiafb_suspend_late() -> console_lock()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->mutex

drivers/tty/vt/consolemap.c class_console_lock_constructor() -> console_lock()

Type Parameter Key Value
NOCHECK_CALL

drivers/video/fbdev/via/viafbdev.c viafb_resume() -> console_lock()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &viafb_pm_hooks_lock
HALF_LOCKED2 &fsm->lock

drivers/video/fbdev/via/viafbdev.c viafb_suspend() -> console_lock()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &viafb_pm_hooks_lock
HALF_LOCKED2 &fsm->lock

drivers/video/fbdev/aty/aty128fb.c aty128_pci_resume() -> console_lock()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/geode/lxfb_core.c lxfb_resume() -> console_lock()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/geode/lxfb_core.c lxfb_suspend() -> console_lock()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/tty/vt/vt.c class_console_lock_constructor() -> console_lock()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &tty->legacy_mutex

drivers/tty/vt/vt.c con_driver_unregister_callback() -> console_lock()

Type Parameter Key Value
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/tty/vt/vt.c con_init() -> console_lock()

Type Parameter Key Value
NOCHECK_CALL

drivers/tty/vt/vc_screen.c class_console_lock_constructor() -> console_lock()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/tty/vt/vc_screen.c vcs_read() -> console_lock()

Type Parameter Key Value
NOCHECK_CALL

drivers/tty/vt/vc_screen.c vcs_write() -> console_lock()

Type Parameter Key Value
NOCHECK_CALL

drivers/video/fbdev/core/fb_chrdev.c do_fb_ioctl() -> console_lock()

Type Parameter Key Value
NOCHECK_CALL

drivers/video/fbdev/core/fb_chrdev.c do_fb_ioctl() -> console_lock()

Type Parameter Key Value
NOCHECK_CALL

drivers/video/fbdev/core/fb_chrdev.c do_fb_ioctl() -> console_lock()

Type Parameter Key Value
NOCHECK_CALL

drivers/video/fbdev/sm712fb.c smtcfb_pci_resume() -> console_lock()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/sm712fb.c smtcfb_pci_suspend() -> console_lock()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/aty/atyfb_base.c atyfb_pci_resume() -> console_lock()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/aty/atyfb_base.c atyfb_pci_suspend_late() -> console_lock()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->mutex

drivers/video/fbdev/aty/radeon_pm.c radeonfb_pci_resume() -> console_lock()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/aty/radeon_pm.c radeonfb_pci_suspend_late() -> console_lock()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->mutex

drivers/tty/serial/kgdboc.c configure_kgdboc() -> console_lock()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &config_mutex

drivers/video/fbdev/arkfb.c ark_pci_resume() -> console_lock()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/arkfb.c ark_pci_suspend() -> console_lock()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/tty/vt/selection.c class_console_lock_constructor() -> console_lock()

Type Parameter Key Value
NOCHECK_CALL
HALF_LOCKED2 _T->lock

drivers/gpu/drm/drm_fb_helper.c drm_fb_helper_resume_worker() -> console_lock()

Type Parameter Key Value
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/gpu/drm/drm_fb_helper.c drm_fb_helper_set_suspend_unlocked() -> console_lock()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &dev->clientlist_mutex
TYPE_LOCK (struct drm_device)->clientlist_mutex

drivers/video/fbdev/i740fb.c i740fb_resume() -> console_lock()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/i740fb.c i740fb_suspend() -> console_lock()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/staging/sm750fb/sm750.c lynxfb_resume() -> console_lock()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/staging/sm750fb/sm750.c lynxfb_suspend() -> console_lock()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/sm501fb.c sm501fb_resume_fb() -> console_lock()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->mutex

drivers/video/fbdev/sm501fb.c sm501fb_suspend_fb() -> console_lock()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->mutex

fs/proc/consoles.c show_console_dev() -> console_lock()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &m->lock
TYPE_LOCK (struct seq_file)->lock