Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/video/fbdev/uvesafb.c vga_w() -> vga_mm_w()

Type Parameter Key Value
PARAM_VALUE 1 port 964,980
PARAM_VALUE 2 val 1,23
DATA_SOURCE 0 regbase $0
DATA_SOURCE 1 port $1
DATA_SOURCE 2 val $2
HARD_MAX 1 port 980
HARD_MAX 2 val 23
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &console_sem

drivers/video/fbdev/s3fb.c vga_w() -> vga_mm_w()

Type Parameter Key Value
PARAM_VALUE 0 regbase 1-u64max
PARAM_VALUE 1 port 960,962,964,966,968-969,980
DATA_SOURCE 0 regbase $0
DATA_SOURCE 1 port $1
DATA_SOURCE 2 val $2
HARD_MAX 1 port 980
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 val 0-255
USER_DATA 2 val 0-255[c]
UNITS 0 regbase unit_byte

drivers/video/fbdev/vt8623fb.c vga_w() -> vga_mm_w()

Type Parameter Key Value
PARAM_VALUE 0 regbase 1-u64max
PARAM_VALUE 1 port 962,964,980
DATA_SOURCE 0 regbase $0
DATA_SOURCE 1 port $1
DATA_SOURCE 2 val $2
HARD_MAX 1 port 980
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 val 0-255
UNITS 0 regbase unit_byte

drivers/video/console/vgacon.c vga_w() -> vga_mm_w()

Type Parameter Key Value
PARAM_VALUE 0 regbase 1-u64max
PARAM_VALUE 1 port 962,966
DATA_SOURCE 0 regbase $0
DATA_SOURCE 1 port $1
DATA_SOURCE 2 val $2
HARD_MAX 1 port 966
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 regbase unit_byte
HALF_LOCKED2 global &console_sem
HALF_LOCKED2 global &vga_lock
HALF_LOCKED2 irq

drivers/video/fbdev/tridentfb.c vga_mm_rcrt() -> vga_mm_w()

Type Parameter Key Value
PARAM_VALUE 1 port 980
PARAM_VALUE 2 val 17,30-31,39,41-42,47,55,57-58
DATA_SOURCE 0 regbase $0
DATA_SOURCE 2 val $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/tridentfb.c vga_mm_rgfx() -> vga_mm_w()

Type Parameter Key Value
PARAM_VALUE 1 port 974
PARAM_VALUE 2 val 15,35,47-49,51,82-83
DATA_SOURCE 0 regbase $0
DATA_SOURCE 2 val $1
HARD_MAX 2 val 83
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/tridentfb.c vga_mm_rseq() -> vga_mm_w()

Type Parameter Key Value
PARAM_VALUE 1 port 964
PARAM_VALUE 2 val 11,193
DATA_SOURCE 0 regbase $0
DATA_SOURCE 2 val $1
HARD_MAX 2 val 193
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/video/fbdev/tridentfb.c vga_mm_wattr() -> vga_mm_w()

Type Parameter Key Value
PARAM_VALUE 1 port 960
PARAM_VALUE 2 val 0,16,18-19
DATA_SOURCE 0 regbase $0
DATA_SOURCE 2 val $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &minfo->crtc2.lock

drivers/video/fbdev/tridentfb.c vga_mm_wattr() -> vga_mm_w()

Type Parameter Key Value
PARAM_VALUE 1 port 960
PARAM_VALUE 2 val 0,15,65
DATA_SOURCE 0 regbase $0
DATA_SOURCE 2 val $2
HARD_MAX 2 val 65
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &minfo->crtc2.lock

drivers/video/fbdev/cirrusfb.c vga_w() -> vga_mm_w()

Type Parameter Key Value
PARAM_VALUE 0 regbase 1-u64max
PARAM_VALUE 1 port 258-22247
DATA_SOURCE 0 regbase $0
DATA_SOURCE 1 port $1
DATA_SOURCE 2 val $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 val 0-255
USER_DATA 2 val 0-255

drivers/video/vgastate.c vga_w() -> vga_mm_w()

Type Parameter Key Value
PARAM_VALUE 0 regbase 1-u64max
CAPPED_DATA 1 port 1
DATA_SOURCE 0 regbase $0
DATA_SOURCE 1 port $1
DATA_SOURCE 2 val $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 regbase unit_byte
HALF_LOCKED2 &info->lock
HALF_LOCKED2 &par->open_lock

drivers/video/fbdev/neofb.c vga_w() -> vga_mm_w()

Type Parameter Key Value
PARAM_VALUE 0 regbase 1-u64max
PARAM_VALUE 1 port 980
PARAM_VALUE 2 val 17
DATA_SOURCE 0 regbase $0
DATA_SOURCE 1 port $1
DATA_SOURCE 2 val $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 regbase unit_byte

drivers/video/fbdev/arkfb.c vga_w() -> vga_mm_w()

Type Parameter Key Value
PARAM_VALUE 0 regbase 1-u64max
PARAM_VALUE 1 port 962,964,966-969,980
DATA_SOURCE 0 regbase $0
DATA_SOURCE 1 port $1
DATA_SOURCE 2 val $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 val 0-255
UNITS 0 regbase unit_byte

drivers/video/fbdev/i740fb.c i740inreg() -> vga_mm_w()

Type Parameter Key Value
PARAM_VALUE 1 port 964,978,980,982
PARAM_VALUE 2 val 1,9-10,32,60,64,80-81,98-99,112,128-130
DATA_SOURCE 1 port $1
DATA_SOURCE 2 val $2
HARD_MAX 1 port 982
HARD_MAX 2 val 130
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/i740fb.c i740outb() -> vga_mm_w()

Type Parameter Key Value
PARAM_VALUE 1 port 960,962,964-966,968-969,982
DATA_SOURCE 1 port $1
DATA_SOURCE 2 val $2
HARD_MAX 1 port 982
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 val 0-255[c]
USER_DATA 2 val 0-255

drivers/video/fbdev/core/svgalib.c vga_w() -> vga_mm_w()

Type Parameter Key Value
PARAM_VALUE 0 regbase 1-u64max
PARAM_VALUE 1 port 960,962,964,980
DATA_SOURCE 0 regbase $0
DATA_SOURCE 1 port $1
DATA_SOURCE 2 val $2
HARD_MAX 1 port 980
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 val 0-255
UNITS 0 regbase unit_byte
HALF_LOCKED2 global &console_sem