Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/video/fbdev/core/fbcon.c do_fb_registered() -> is_console_locked()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &console_sem
HALF_LOCKED2 global &registration_lock

drivers/video/fbdev/core/fbcon.c fbcon_fb_unregistered() -> is_console_locked()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &console_sem
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() -> is_console_locked()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &console_sem
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_info_from_console() -> is_console_locked()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &info->lock
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 global &console_sem

drivers/video/fbdev/core/fbcon.c fbcon_modechange_possible() -> is_console_locked()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &ch->open_lock
HALF_LOCKED2 &info->lock
HALF_LOCKED2 global &console_sem

drivers/video/fbdev/core/fbcon.c fbcon_output_notifier() -> is_console_locked()

Type Parameter Key Value

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

Type Parameter Key Value
LOCK2 global &console_sem
HALF_LOCKED2 &pool->lock

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

Type Parameter Key Value
LOCK2 global &console_sem
HALF_LOCKED2 &pool->lock

drivers/video/fbdev/core/fbcon.c fbcon_release_all() -> is_console_locked()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &console_sem

drivers/video/fbdev/core/fbcon.c fbcon_release_all() -> is_console_locked()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &console_sem

drivers/video/fbdev/core/fbcon.c fbcon_start() -> is_console_locked()

Type Parameter Key Value
LOCK2 global &console_sem

drivers/video/fbdev/core/fbcon.c fbcon_switch() -> is_console_locked()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &console_sem

drivers/video/fbdev/core/fbcon.c fbcon_switch() -> is_console_locked()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &console_sem

drivers/video/fbdev/core/fbcon.c set_con2fb_map() -> is_console_locked()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &console_sem
HALF_LOCKED2 global &registration_lock
HALF_LOCKED2 global &vgasr_mutex

drivers/video/console/dummycon.c dummycon_putc() -> is_console_locked()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &console_sem

drivers/video/console/dummycon.c dummycon_register_output_notifier() -> is_console_locked()

Type Parameter Key Value
LOCK2 global &console_sem

drivers/video/console/dummycon.c dummycon_unregister_output_notifier() -> is_console_locked()

Type Parameter Key Value

drivers/video/fbdev/core/fbmem.c fb_set_suspend() -> is_console_locked()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &console_sem
HALF_LOCKED2 &dev->clientlist_mutex
HALF_LOCKED2 &info->lock
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &par->open_lock
HALF_LOCKED2 global &viafb_pm_hooks_lock

drivers/tty/vt/vt_ioctl.c vt_in_use() -> is_console_locked()

Type Parameter Key Value
LOCK2 global &console_sem

drivers/tty/vt/vt.c complement_pos() -> is_console_locked()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 _T->lock
HALF_LOCKED2 global &console_sem

drivers/tty/vt/vt.c con_is_bound() -> is_console_locked()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 global &console_sem
HALF_LOCKED2 global &vgasr_mutex

drivers/tty/vt/vt.c con_is_visible() -> is_console_locked()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &printing_lock
HALF_LOCKED2 global &console_sem

drivers/tty/vt/vt.c do_bind_con_driver() -> is_console_locked()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 global &console_sem

drivers/tty/vt/vt.c do_blank_screen() -> is_console_locked()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &console_sem

drivers/tty/vt/vt.c do_register_con_driver() -> is_console_locked()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &console_sem

drivers/tty/vt/vt.c do_unbind_con_driver() -> is_console_locked()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &console_sem
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 global &registration_lock

drivers/tty/vt/vt.c do_unblank_screen() -> is_console_locked()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &console_sem

drivers/tty/vt/vt.c flush_scrollback() -> is_console_locked()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &console_sem
HALF_LOCKED2 &tty->atomic_write_lock
HALF_LOCKED2 &tty->ldisc_sem
HALF_LOCKED2 &tty->legacy_mutex
HALF_LOCKED2 &tty->port->buf.lock
HALF_LOCKED2 &tty->termios_rwsem
HALF_LOCKED2 _T->lock

drivers/tty/vt/vt.c invert_screen() -> is_console_locked()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 _T->lock
HALF_LOCKED2 global &console_sem

drivers/tty/vt/vt.c poke_blanked_console() -> is_console_locked()

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

drivers/tty/vt/vt.c redraw_screen() -> is_console_locked()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &console_sem

drivers/tty/vt/vt.c save_screen() -> is_console_locked()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &console_sem

drivers/tty/vt/vt.c set_origin() -> is_console_locked()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &console_sem

drivers/tty/vt/vt.c set_palette() -> is_console_locked()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &console_sem

drivers/tty/vt/vt.c update_region() -> is_console_locked()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &console_sem

drivers/tty/vt/vt.c vc_allocate() -> is_console_locked()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &console_sem
HALF_LOCKED2 &tty->legacy_mutex
HALF_LOCKED2 global &system_transition_mutex

drivers/tty/vt/vt.c vc_deallocate() -> is_console_locked()

Type Parameter Key Value
LOCK2 global &console_sem

drivers/tty/vt/vt.c vc_do_resize() -> is_console_locked()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &console_sem

drivers/tty/vt/vt.c vc_uniscr_check() -> is_console_locked()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &console_sem

drivers/tty/vt/vt.c vt_console_print() -> is_console_locked()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 flags

drivers/tty/vt/vc_screen.c vcs_size() -> is_console_locked()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &console_sem

drivers/tty/vt/vc_screen.c vcs_vc() -> is_console_locked()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &console_sem