Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/video/fbdev/aty/mach64_accel.c atyfb_copyarea() -> draw_rect()

Type Parameter Key Value
PARAM_VALUE 4 par 4096-ptr_max
PARAM_VALUE 4 par->fifo_space 0-4294967290
BUF_SIZE 4 par 2,4,16,24,32,128,216,248,256,1288,1984,2560,2864
BUF_SIZE 4 par 2,4,16,24,32,128,216,248,256,1288,1984,2560,2864
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 x unit_byte
UNITS 1 y unit_byte
UNITS 2 width unit_byte
UNITS 3 height unit_byte
UNITS 4 par unit_byte

drivers/video/fbdev/aty/mach64_accel.c atyfb_fillrect() -> draw_rect()

Type Parameter Key Value
PARAM_VALUE 4 par 4096-ptr_max
PARAM_VALUE 4 par->fifo_space 0-4294967291
BUF_SIZE 4 par 2,4,16,24,32,128,216,248,256,1288,1984,2560,2864
BUF_SIZE 4 par 2,4,16,24,32,128,216,248,256,1288,1984,2560,2864
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 x unit_byte
UNITS 1 y unit_byte
UNITS 2 width unit_byte
UNITS 3 height unit_byte
UNITS 4 par unit_byte
HALF_LOCKED2 global &console_sem

drivers/video/fbdev/aty/mach64_accel.c atyfb_imageblit() -> draw_rect()

Type Parameter Key Value
PARAM_VALUE 4 par 4096-ptr_max
PARAM_VALUE 4 par->fifo_space 0-4294967290
BUF_SIZE 4 par 2,4,16,24,32,128,216,248,256,1288,1984,2560,2864
BUF_SIZE 4 par 2,4,16,24,32,128,216,248,256,1288,1984,2560,2864
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 x 0-s16max[c]
USER_DATA 1 y 0-s16max[c]
USER_DATA 2 width 0-u16max[c]
USER_DATA 3 height 0-u16max[c]
UNITS 0 x unit_byte
UNITS 1 y unit_byte
UNITS 2 width unit_byte
UNITS 3 height unit_byte
UNITS 4 par unit_byte
HALF_LOCKED2 global &console_sem