Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/video/fbdev/arcfb.c arcfb_probe() -> ks108_writeb_ctl()

Type Parameter Key Value
PARAM_VALUE 0 par 4096-ptr_max
PARAM_VALUE 0 par->c2io_addr 1-u64max
PARAM_VALUE 0 par->cio_addr 1-u64max
PARAM_VALUE 0 par->cslut 4096-ptr_max
PARAM_VALUE 0 par->dio_addr 1-u64max
PARAM_VALUE 0 par->info 4096-ptr_max
PARAM_VALUE 0 par->info->bl_curve_mutex.first_waiter 0
PARAM_VALUE 0 par->info->bl_curve_mutex.magic 4096-ptr_max
PARAM_VALUE 0 par->info->bl_curve_mutex.owner.counter 0
PARAM_VALUE 0 par->info->blank 0
PARAM_VALUE 0 par->info->device 4096-ptr_max
PARAM_VALUE 0 par->info->fbcon_rotate_hint (-1)
PARAM_VALUE 0 par->info->fbops 7697031390975397888
PARAM_VALUE 0 par->info->flags 0,4-s32max
PARAM_VALUE 0 par->info->par 4096-ptr_max
PARAM_VALUE 0 par->info->screen_base 1-u64max
PARAM_VALUE 0 par->info->screen_buffer 1-u64max
PARAM_VALUE 1 chipindex 0-s32max
PARAM_VALUE 2 value 62
BUF_SIZE 0 par 2,4,16,24,32,128,216,248,256,1288,1984,2560,2864
BUF_SIZE 0 par 2,4,16,24,32,128,216,248,256,1288,1984,2560,2864
BUF_SIZE 0 par->info s32min-s32max
CAPPED_DATA 1 chipindex 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 par unit_byte

drivers/video/fbdev/arcfb.c arcfb_probe() -> ks108_writeb_ctl()

Type Parameter Key Value
PARAM_VALUE 0 par 4096-ptr_max
PARAM_VALUE 0 par->c2io_addr 1-u64max
PARAM_VALUE 0 par->cio_addr 1-u64max
PARAM_VALUE 0 par->cslut 4096-ptr_max
PARAM_VALUE 0 par->dio_addr 1-u64max
PARAM_VALUE 0 par->info 4096-ptr_max
PARAM_VALUE 0 par->info->bl_curve_mutex.first_waiter 0
PARAM_VALUE 0 par->info->bl_curve_mutex.magic 4096-ptr_max
PARAM_VALUE 0 par->info->bl_curve_mutex.owner.counter 0
PARAM_VALUE 0 par->info->blank 0
PARAM_VALUE 0 par->info->device 4096-ptr_max
PARAM_VALUE 0 par->info->fbcon_rotate_hint (-1)
PARAM_VALUE 0 par->info->fbops 7697031390975397888
PARAM_VALUE 0 par->info->flags 0,4-s32max
PARAM_VALUE 0 par->info->par 4096-ptr_max
PARAM_VALUE 0 par->info->screen_base 1-u64max
PARAM_VALUE 0 par->info->screen_buffer 1-u64max
PARAM_VALUE 1 chipindex 0-s32max
PARAM_VALUE 2 value 63
BUF_SIZE 0 par 2,4,16,24,32,128,216,248,256,1288,1984,2560,2864
BUF_SIZE 0 par 2,4,16,24,32,128,216,248,256,1288,1984,2560,2864
BUF_SIZE 0 par->info s32min-s32max
CAPPED_DATA 1 chipindex 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 par unit_byte

drivers/video/fbdev/arcfb.c ks108_set_start_line() -> ks108_writeb_ctl()

Type Parameter Key Value
PARAM_VALUE 1 chipindex 0-s32max
PARAM_VALUE 2 value 192-255
BUF_SIZE 0 par 2,4,16,24,32,128,216,248,256,1288,1984,2560
BUF_SIZE 0 par 2,4,16,24,32,128,216,248,256,1288,1984,2560
CAPPED_DATA 1 chipindex 1
CAPPED_DATA 2 value 1
DATA_SOURCE 0 par $0
DATA_SOURCE 1 chipindex $1
BIT_INFO 2 value 0xc0,0xff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 value 192-255[c]
UNITS 0 par unit_byte

drivers/video/fbdev/arcfb.c ks108_set_xaddr() -> ks108_writeb_ctl()

Type Parameter Key Value
PARAM_VALUE 0 par 4096-ptr_max
PARAM_VALUE 0 par->info 4096-ptr_max
BUF_SIZE 0 par 2,4,16,24,32,128,216,248,256,1288,1984,2560
BUF_SIZE 0 par 2,4,16,24,32,128,216,248,256,1288,1984,2560
DATA_SOURCE 0 par $0
DATA_SOURCE 1 chipindex $1
BIT_INFO 2 value 0x40,0xff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 value 0-255[c]
UNITS 0 par unit_byte

drivers/video/fbdev/arcfb.c ks108_set_yaddr() -> ks108_writeb_ctl()

Type Parameter Key Value
BUF_SIZE 0 par 2,4,16,24,32,128,216,248,256,1288,1984,2560
BUF_SIZE 0 par 2,4,16,24,32,128,216,248,256,1288,1984,2560
CAPPED_DATA 2 value 1
DATA_SOURCE 0 par $0
DATA_SOURCE 1 chipindex $1
BIT_INFO 2 value 0xb8,0xff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 value 0-255[c]
UNITS 0 par unit_byte