Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/video/console/vgacon.c vgacon_font_get() -> vgacon_do_font_op()

Type Parameter Key Value
PARAM_VALUE 0 state 2192217056019546112
PARAM_VALUE 1 arg 4096-ptr_max
PARAM_VALUE 2 set 0
BUF_SIZE 1 arg s32min-(-2),1-s32max
LOCK2 global &console_sem

drivers/video/console/vgacon.c vgacon_font_set() -> vgacon_do_font_op()

Type Parameter Key Value
PARAM_VALUE 0 state 2192217056019546112
PARAM_VALUE 1 arg 1-ptr_max
PARAM_VALUE 2 set 1
BUF_SIZE 1 arg s32min-(-2),1-s32max
USER_PTR 1 arg
LOCK2 global &console_sem