Open Menu /

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/video/fbdev/uvesafb.c vga_r() -> vga_io_r()

Type Parameter Key Value
PARAM_VALUE 0 port 965,981
DATA_SOURCE 0 port $1
HARD_MAX 0 port 981
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &console_sem

drivers/video/fbdev/s3fb.c vga_r() -> vga_io_r()

Type Parameter Key Value
PARAM_VALUE 0 port 965,972,981,986
DATA_SOURCE 0 port $1
HARD_MAX 0 port 986
RX_PATH
TASK_NOT_RUNNING

drivers/video/fbdev/vt8623fb.c vga_r() -> vga_io_r()

Type Parameter Key Value
PARAM_VALUE 0 port 965,972,981
DATA_SOURCE 0 port $1
HARD_MAX 0 port 981
RX_PATH
TASK_NOT_RUNNING

drivers/video/console/vgacon.c vga_r() -> vga_io_r()

Type Parameter Key Value
PARAM_VALUE 0 port 964-965,972
DATA_SOURCE 0 port $1
HARD_MAX 0 port 972
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &console_sem
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &vga_lock
HALF_LOCKED2 irq

drivers/video/fbdev/tridentfb.c vga_io_rseq() -> vga_io_r()

Type Parameter Key Value
PARAM_VALUE 0 port 965
RX_PATH
TASK_NOT_RUNNING

drivers/video/fbdev/cirrusfb.c vga_r() -> vga_io_r()

Type Parameter Key Value
PARAM_VALUE 0 port 961,965-966,968,975,981,5061,5063
DATA_SOURCE 0 port $1
RX_PATH
TASK_NOT_RUNNING

drivers/video/vgastate.c vga_r() -> vga_io_r()

Type Parameter Key Value
DATA_SOURCE 0 port $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &info->lock
HALF_LOCKED2 &par->open_lock

drivers/video/fbdev/neofb.c vga_r() -> vga_io_r()

Type Parameter Key Value
PARAM_VALUE 0 port 965,975,981,986
DATA_SOURCE 0 port $1
HARD_MAX 0 port 986
RX_PATH
TASK_NOT_RUNNING

drivers/video/fbdev/vga16fb.c ega16_setpalette() -> vga_io_r()

Type Parameter Key Value
PARAM_VALUE 0 port 986
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &info->lock
HALF_LOCKED2 global &console_sem

drivers/video/fbdev/vga16fb.c ega16_setpalette() -> vga_io_r()

Type Parameter Key Value
PARAM_VALUE 0 port 986
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &info->lock
HALF_LOCKED2 global &console_sem

drivers/video/fbdev/vga16fb.c getindex() -> vga_io_r()

Type Parameter Key Value
PARAM_VALUE 0 port 974
RX_PATH
TASK_NOT_RUNNING

drivers/video/fbdev/vga16fb.c vga16fb_pan_var() -> vga_io_r()

Type Parameter Key Value
PARAM_VALUE 0 port 986
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &info->lock
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 global &console_sem

drivers/video/fbdev/vga16fb.c vga16fb_pan_var() -> vga_io_r()

Type Parameter Key Value
PARAM_VALUE 0 port 986
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &info->lock
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 global &console_sem

drivers/video/fbdev/vga16fb.c vga16fb_set_par() -> vga_io_r()

Type Parameter Key Value
PARAM_VALUE 0 port 972
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &minfo->crtc2.lock

drivers/video/fbdev/vga16fb.c vga16fb_set_par() -> vga_io_r()

Type Parameter Key Value
PARAM_VALUE 0 port 986
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &minfo->crtc2.lock

drivers/video/fbdev/vga16fb.c vga16fb_set_par() -> vga_io_r()

Type Parameter Key Value
PARAM_VALUE 0 port 986
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &minfo->crtc2.lock

drivers/video/fbdev/vga16fb.c vga_io_rcrt() -> vga_io_r()

Type Parameter Key Value
PARAM_VALUE 0 port 981
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &console_sem

drivers/video/fbdev/vga16fb.c vga_io_rgfx() -> vga_io_r()

Type Parameter Key Value
PARAM_VALUE 0 port 975
RX_PATH
TASK_NOT_RUNNING

drivers/video/fbdev/vga16fb.c vga_io_rseq() -> vga_io_r()

Type Parameter Key Value
PARAM_VALUE 0 port 965
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &console_sem

drivers/video/fbdev/vga16fb.c vga_vesa_blank() -> vga_io_r()

Type Parameter Key Value
PARAM_VALUE 0 port 964
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &console_sem

drivers/video/fbdev/vga16fb.c vga_vesa_blank() -> vga_io_r()

Type Parameter Key Value
PARAM_VALUE 0 port 980
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &console_sem

drivers/video/fbdev/vga16fb.c vga_vesa_blank() -> vga_io_r()

Type Parameter Key Value
PARAM_VALUE 0 port 972
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &console_sem

drivers/video/fbdev/vga16fb.c vga_vesa_unblank() -> vga_io_r()

Type Parameter Key Value
PARAM_VALUE 0 port 964
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &console_sem
HALF_LOCKED2 &info->lock

drivers/video/fbdev/vga16fb.c vga_vesa_unblank() -> vga_io_r()

Type Parameter Key Value
PARAM_VALUE 0 port 980
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &console_sem
HALF_LOCKED2 &info->lock

drivers/video/fbdev/arkfb.c vga_r() -> vga_io_r()

Type Parameter Key Value
PARAM_VALUE 0 port 965-969,972,981
DATA_SOURCE 0 port $1
RX_PATH
TASK_NOT_RUNNING

drivers/video/fbdev/core/svgalib.c vga_r() -> vga_io_r()

Type Parameter Key Value
PARAM_VALUE 0 port 965,972,981,986
DATA_SOURCE 0 port $1
HARD_MAX 0 port 986
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &console_sem