Open Menu /

Defined in 1 files as a function:

Referenced in 5 files:

Smatch caller information:

drivers/video/fbdev/core/fbmem.c fb_pad_aligned_buffer() -> __fb_pad_aligned_buffer()

Type Parameter Key Value
PARAM_VALUE 2 src 0,16,4096-ptr_max
BUF_SIZE 0 dst (-1),128,1024,4096,6400,8192
BUF_SIZE 0 dst (-1),128,1024,4096,6400,8192
BUF_SIZE 2 src (-1)-s32max
BUF_SIZE 2 src (-1)-s32max
DATA_SOURCE 0 dst $0
DATA_SOURCE 1 d_pitch $1
DATA_SOURCE 2 src $2
DATA_SOURCE 3 s_pitch $3
DATA_SOURCE 4 height $4
NOSPEC 4 height
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 dst 4096-ptr_max[c][u]
USER_DATA 1 d_pitch 0-u32max[c]
USER_DATA 3 s_pitch 0-16[c]
USER_DATA 4 height 1-s32max[c]
UNITS 0 dst unit_byte
UNITS 2 src unit_byte
UNITS 4 height unit_byte
HALF_LOCKED2 global &console_sem

drivers/video/fbdev/core/fbcon_ud.c ud_putcs_aligned() -> __fb_pad_aligned_buffer()

Type Parameter Key Value
PARAM_VALUE 2 src 0,16,4096-ptr_max
PARAM_VALUE 3 s_pitch 1
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
NOSPEC 4 height
NOSPEC 4 height
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 dst 4096-ptr_max[c][u]
USER_DATA 4 height 2-128[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_aligned() -> __fb_pad_aligned_buffer()

Type Parameter Key Value
PARAM_VALUE 2 src 0,16,4096-ptr_max
PARAM_VALUE 3 s_pitch 1
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
NOSPEC 4 height
NOSPEC 4 height
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 dst 4096-ptr_max[c][u]
USER_DATA 4 height 1-s32max[c]
UNITS 0 dst unit_byte
UNITS 4 height unit_byte
HALF_LOCKED2 &printing_lock
HALF_LOCKED2 global &console_sem

drivers/video/fbdev/core/fbcon_ccw.c ccw_putcs_aligned() -> __fb_pad_aligned_buffer()

Type Parameter Key Value
PARAM_VALUE 2 src 0,16,4096-ptr_max
PARAM_VALUE 3 s_pitch 1
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
DATA_SOURCE 3 s_pitch r font_glyph_pitch
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 dst 4096-ptr_max[c][u]
USER_DATA 4 height 1-64[c]
UNITS 0 dst unit_byte
HALF_LOCKED2 &printing_lock
HALF_LOCKED2 global &console_sem

drivers/video/fbdev/core/fbcon_cw.c cw_putcs_aligned() -> __fb_pad_aligned_buffer()

Type Parameter Key Value
PARAM_VALUE 2 src 0,16,4096-ptr_max
PARAM_VALUE 3 s_pitch 1
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
DATA_SOURCE 3 s_pitch r font_glyph_pitch
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 dst 4096-ptr_max[c][u]
USER_DATA 4 height 1-64[c]
UNITS 0 dst unit_byte
HALF_LOCKED2 &printing_lock
HALF_LOCKED2 global &console_sem