Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/video/fbdev/via/viafbdev.c viafb_ioctl() -> viafb_dvi_disable()

Type Parameter Key Value
NOCHECK_CALL
LOCK2 &info->lock
TYPE_LOCK (struct fb_info)->lock

drivers/video/fbdev/via/hw.c device_off() -> viafb_dvi_disable()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &minfo->crtc2.lock
HALF_LOCKED2 global &console_sem
HALF_LOCKED2 global &viafb_pm_hooks_lock