Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/video/fbdev/core/fbcon_ud.c ud_putcs_unaligned() -> fb_pad_unaligned_buffer()

Type Parameter Key Value
PARAM_VALUE 2 src 0,16,4096-ptr_max
PARAM_VALUE 3 idx 0-536870911
PARAM_VALUE 5 shift_high 1-8
PARAM_VALUE 6 shift_low 0-7
BUF_SIZE 0 dst (-1),1024,4096,6400,8192
BUF_SIZE 0 dst (-1),1024,4096,6400,8192
BUF_SIZE 2 src (-1)-s32max
BUF_SIZE 2 src (-1)-s32max
DATA_SOURCE 0 dst $10
DATA_SOURCE 1 d_pitch $5
FUZZY_MAX 5 shift_high 8
FUZZY_MAX 6 shift_low 0
NOSPEC 4 height
NOSPEC 4 height
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 dst 4096-ptr_max[c][u]
USER_DATA 3 idx 0-8[c]
USER_DATA 4 height 2-128[c]
USER_DATA 5 shift_high 1-8[c]
USER_DATA 6 shift_low 0-7[c][u]
USER_DATA 7 mod 0-7[c]
UNITS 0 dst unit_byte
UNITS 4 height unit_byte
HALF_LOCKED2 &printing_lock
HALF_LOCKED2 global &console_sem

drivers/video/fbdev/core/bitblit.c bit_putcs_unaligned() -> fb_pad_unaligned_buffer()

Type Parameter Key Value
PARAM_VALUE 2 src 0,16,4096-ptr_max
PARAM_VALUE 3 idx 0-536870911
PARAM_VALUE 5 shift_high 1-8
PARAM_VALUE 6 shift_low 0-7
BUF_SIZE 0 dst (-1),1024,4096,6400,8192
BUF_SIZE 0 dst (-1),1024,4096,6400,8192
BUF_SIZE 2 src (-1)-s32max
BUF_SIZE 2 src (-1)-s32max
DATA_SOURCE 0 dst $10
DATA_SOURCE 1 d_pitch $5
FUZZY_MAX 5 shift_high 8
FUZZY_MAX 6 shift_low 0
NOSPEC 4 height
NOSPEC 4 height
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 dst 4096-ptr_max[c][u]
USER_DATA 3 idx 0-8[c]
USER_DATA 4 height 1-s32max[c]
USER_DATA 5 shift_high 1-8[c]
USER_DATA 6 shift_low 0-7[c][u]
USER_DATA 7 mod 0-7[c]
UNITS 0 dst unit_byte
UNITS 4 height unit_byte
HALF_LOCKED2 &printing_lock
HALF_LOCKED2 global &console_sem