Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/video/fbdev/core/sysimgblt.c fb_bitblit() -> fb_reverse_long()

Type Parameter Key Value
DATA_SOURCE 0 val r fb_read_offset
DATA_SOURCE 1 reverse $4
RX_PATH
TASK_NOT_RUNNING

drivers/video/fbdev/core/sysimgblt.c fb_bitblit() -> fb_reverse_long()

Type Parameter Key Value
DATA_SOURCE 1 reverse $4
RX_PATH
TASK_NOT_RUNNING

drivers/video/fbdev/core/sysimgblt.c fb_bitblit() -> fb_reverse_long()

Type Parameter Key Value
DATA_SOURCE 1 reverse $4
RX_PATH
TASK_NOT_RUNNING

drivers/video/fbdev/core/cfbimgblt.c fb_bitblit() -> fb_reverse_long()

Type Parameter Key Value
DATA_SOURCE 0 val r fb_read_offset
DATA_SOURCE 1 reverse $4
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 val 0-u64max

drivers/video/fbdev/core/cfbimgblt.c fb_bitblit() -> fb_reverse_long()

Type Parameter Key Value
DATA_SOURCE 1 reverse $4
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 val 0-u64max[c]

drivers/video/fbdev/core/cfbimgblt.c fb_bitblit() -> fb_reverse_long()

Type Parameter Key Value
DATA_SOURCE 1 reverse $4
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 val 0-u64max[c]

drivers/video/fbdev/core/syscopyarea.c fb_copy_fwd() -> fb_copy_fwd param 3()

Type Parameter Key Value
DATA_SOURCE 1 reverse $4
RX_PATH
TASK_NOT_RUNNING

drivers/video/fbdev/core/syscopyarea.c fb_copy_fwd() -> fb_copy_fwd param 3()

Type Parameter Key Value
DATA_SOURCE 1 reverse $4
RX_PATH
TASK_NOT_RUNNING

drivers/video/fbdev/core/syscopyarea.c fb_copy_fwd() -> fb_copy_fwd param 3()

Type Parameter Key Value
DATA_SOURCE 1 reverse $4
RX_PATH
TASK_NOT_RUNNING

drivers/video/fbdev/core/syscopyarea.c fb_copy_fwd() -> fb_copy_fwd param 3()

Type Parameter Key Value
DATA_SOURCE 1 reverse $4
RX_PATH
TASK_NOT_RUNNING

drivers/video/fbdev/core/syscopyarea.c fb_copy_fwd() -> fb_copy_fwd param 3()

Type Parameter Key Value
DATA_SOURCE 1 reverse $4
RX_PATH
TASK_NOT_RUNNING

drivers/video/fbdev/core/syscopyarea.c fb_copy_fwd() -> fb_copy_fwd param 3()

Type Parameter Key Value
DATA_SOURCE 0 val r fb_right
DATA_SOURCE 1 reverse $4
RX_PATH
TASK_NOT_RUNNING

drivers/video/fbdev/core/syscopyarea.c fb_copy_fwd() -> fb_copy_fwd param 3()

Type Parameter Key Value
DATA_SOURCE 1 reverse $4
RX_PATH
TASK_NOT_RUNNING

drivers/video/fbdev/core/syscopyarea.c fb_copy_fwd() -> fb_copy_fwd param 3()

Type Parameter Key Value
DATA_SOURCE 1 reverse $4
RX_PATH
TASK_NOT_RUNNING

drivers/video/fbdev/core/syscopyarea.c fb_copy_fwd() -> fb_copy_fwd param 3()

Type Parameter Key Value
DATA_SOURCE 1 reverse $4
RX_PATH
TASK_NOT_RUNNING

drivers/video/fbdev/core/syscopyarea.c fb_copy_fwd() -> fb_copy_fwd param 3()

Type Parameter Key Value
DATA_SOURCE 1 reverse $4
RX_PATH
TASK_NOT_RUNNING

drivers/video/fbdev/core/syscopyarea.c fb_copy_fwd() -> fb_copy_fwd param 3()

Type Parameter Key Value
DATA_SOURCE 1 reverse $4
RX_PATH
TASK_NOT_RUNNING

drivers/video/fbdev/core/syscopyarea.c fb_copy_fwd() -> fb_copy_fwd param 3()

Type Parameter Key Value
DATA_SOURCE 1 reverse $4
RX_PATH
TASK_NOT_RUNNING

drivers/video/fbdev/core/syscopyarea.c fb_copy_fwd() -> fb_copy_fwd param 3()

Type Parameter Key Value
DATA_SOURCE 1 reverse $4
RX_PATH
TASK_NOT_RUNNING

drivers/video/fbdev/core/cfbcopyarea.c fb_copy_fwd() -> fb_copy_fwd param 3()

Type Parameter Key Value
DATA_SOURCE 1 reverse $4
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 val 0-u64max

drivers/video/fbdev/core/cfbcopyarea.c fb_copy_fwd() -> fb_copy_fwd param 3()

Type Parameter Key Value
DATA_SOURCE 1 reverse $4
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 val 0-u64max

drivers/video/fbdev/core/cfbcopyarea.c fb_copy_fwd() -> fb_copy_fwd param 3()

Type Parameter Key Value
DATA_SOURCE 1 reverse $4
RX_PATH
TASK_NOT_RUNNING

drivers/video/fbdev/core/cfbcopyarea.c fb_copy_fwd() -> fb_copy_fwd param 3()

Type Parameter Key Value
DATA_SOURCE 1 reverse $4
RX_PATH
TASK_NOT_RUNNING

drivers/video/fbdev/core/cfbcopyarea.c fb_copy_fwd() -> fb_copy_fwd param 3()

Type Parameter Key Value
DATA_SOURCE 1 reverse $4
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 val 0-u64max

drivers/video/fbdev/core/cfbcopyarea.c fb_copy_fwd() -> fb_copy_fwd param 3()

Type Parameter Key Value
DATA_SOURCE 0 val r fb_right
DATA_SOURCE 1 reverse $4
RX_PATH
TASK_NOT_RUNNING

drivers/video/fbdev/core/cfbcopyarea.c fb_copy_fwd() -> fb_copy_fwd param 3()

Type Parameter Key Value
DATA_SOURCE 1 reverse $4
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 val 0-u64max

drivers/video/fbdev/core/cfbcopyarea.c fb_copy_fwd() -> fb_copy_fwd param 3()

Type Parameter Key Value
DATA_SOURCE 1 reverse $4
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 val 0-u64max

drivers/video/fbdev/core/cfbcopyarea.c fb_copy_fwd() -> fb_copy_fwd param 3()

Type Parameter Key Value
DATA_SOURCE 1 reverse $4
RX_PATH
TASK_NOT_RUNNING

drivers/video/fbdev/core/cfbcopyarea.c fb_copy_fwd() -> fb_copy_fwd param 3()

Type Parameter Key Value
DATA_SOURCE 1 reverse $4
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 val 0-u64max

drivers/video/fbdev/core/cfbcopyarea.c fb_copy_fwd() -> fb_copy_fwd param 3()

Type Parameter Key Value
DATA_SOURCE 1 reverse $4
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 val 0-u64max

drivers/video/fbdev/core/cfbcopyarea.c fb_copy_fwd() -> fb_copy_fwd param 3()

Type Parameter Key Value
DATA_SOURCE 1 reverse $4
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 val 0-u64max

drivers/video/fbdev/core/cfbcopyarea.c fb_copy_fwd() -> fb_copy_fwd param 3()

Type Parameter Key Value
DATA_SOURCE 1 reverse $4
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 val 0-u64max

drivers/video/fbdev/core/syscopyarea.c fb_copy_rev() -> fb_copy_rev param 3()

Type Parameter Key Value
DATA_SOURCE 1 reverse $4
RX_PATH
TASK_NOT_RUNNING

drivers/video/fbdev/core/syscopyarea.c fb_copy_rev() -> fb_copy_rev param 3()

Type Parameter Key Value
DATA_SOURCE 1 reverse $4
RX_PATH
TASK_NOT_RUNNING

drivers/video/fbdev/core/syscopyarea.c fb_copy_rev() -> fb_copy_rev param 3()

Type Parameter Key Value
DATA_SOURCE 1 reverse $4
RX_PATH
TASK_NOT_RUNNING

drivers/video/fbdev/core/syscopyarea.c fb_copy_rev() -> fb_copy_rev param 3()

Type Parameter Key Value
DATA_SOURCE 1 reverse $4
RX_PATH
TASK_NOT_RUNNING

drivers/video/fbdev/core/syscopyarea.c fb_copy_rev() -> fb_copy_rev param 3()

Type Parameter Key Value
DATA_SOURCE 1 reverse $4
RX_PATH
TASK_NOT_RUNNING

drivers/video/fbdev/core/syscopyarea.c fb_copy_rev() -> fb_copy_rev param 3()

Type Parameter Key Value
DATA_SOURCE 1 reverse $4
RX_PATH
TASK_NOT_RUNNING

drivers/video/fbdev/core/syscopyarea.c fb_copy_rev() -> fb_copy_rev param 3()

Type Parameter Key Value
DATA_SOURCE 1 reverse $4
RX_PATH
TASK_NOT_RUNNING

drivers/video/fbdev/core/syscopyarea.c fb_copy_rev() -> fb_copy_rev param 3()

Type Parameter Key Value
DATA_SOURCE 1 reverse $4
RX_PATH
TASK_NOT_RUNNING

drivers/video/fbdev/core/syscopyarea.c fb_copy_rev() -> fb_copy_rev param 3()

Type Parameter Key Value
DATA_SOURCE 1 reverse $4
RX_PATH
TASK_NOT_RUNNING

drivers/video/fbdev/core/syscopyarea.c fb_copy_rev() -> fb_copy_rev param 3()

Type Parameter Key Value
DATA_SOURCE 1 reverse $4
RX_PATH
TASK_NOT_RUNNING

drivers/video/fbdev/core/syscopyarea.c fb_copy_rev() -> fb_copy_rev param 3()

Type Parameter Key Value
DATA_SOURCE 1 reverse $4
RX_PATH
TASK_NOT_RUNNING

drivers/video/fbdev/core/syscopyarea.c fb_copy_rev() -> fb_copy_rev param 3()

Type Parameter Key Value
DATA_SOURCE 1 reverse $4
RX_PATH
TASK_NOT_RUNNING

drivers/video/fbdev/core/syscopyarea.c fb_copy_rev() -> fb_copy_rev param 3()

Type Parameter Key Value
DATA_SOURCE 1 reverse $4
RX_PATH
TASK_NOT_RUNNING

drivers/video/fbdev/core/syscopyarea.c fb_copy_rev() -> fb_copy_rev param 3()

Type Parameter Key Value
DATA_SOURCE 1 reverse $4
RX_PATH
TASK_NOT_RUNNING

drivers/video/fbdev/core/cfbcopyarea.c fb_copy_rev() -> fb_copy_rev param 3()

Type Parameter Key Value
DATA_SOURCE 1 reverse $4
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 val 0-u64max

drivers/video/fbdev/core/cfbcopyarea.c fb_copy_rev() -> fb_copy_rev param 3()

Type Parameter Key Value
DATA_SOURCE 1 reverse $4
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 val 0-u64max

drivers/video/fbdev/core/cfbcopyarea.c fb_copy_rev() -> fb_copy_rev param 3()

Type Parameter Key Value
DATA_SOURCE 1 reverse $4
RX_PATH
TASK_NOT_RUNNING

drivers/video/fbdev/core/cfbcopyarea.c fb_copy_rev() -> fb_copy_rev param 3()

Type Parameter Key Value
DATA_SOURCE 1 reverse $4
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 val 0-u64max

drivers/video/fbdev/core/cfbcopyarea.c fb_copy_rev() -> fb_copy_rev param 3()

Type Parameter Key Value
DATA_SOURCE 1 reverse $4
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 val 0-u64max

drivers/video/fbdev/core/cfbcopyarea.c fb_copy_rev() -> fb_copy_rev param 3()

Type Parameter Key Value
DATA_SOURCE 1 reverse $4
RX_PATH
TASK_NOT_RUNNING

drivers/video/fbdev/core/cfbcopyarea.c fb_copy_rev() -> fb_copy_rev param 3()

Type Parameter Key Value
DATA_SOURCE 1 reverse $4
RX_PATH
TASK_NOT_RUNNING

drivers/video/fbdev/core/cfbcopyarea.c fb_copy_rev() -> fb_copy_rev param 3()

Type Parameter Key Value
DATA_SOURCE 1 reverse $4
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 val 0-u64max

drivers/video/fbdev/core/cfbcopyarea.c fb_copy_rev() -> fb_copy_rev param 3()

Type Parameter Key Value
DATA_SOURCE 1 reverse $4
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 val 0-u64max

drivers/video/fbdev/core/cfbcopyarea.c fb_copy_rev() -> fb_copy_rev param 3()

Type Parameter Key Value
DATA_SOURCE 1 reverse $4
RX_PATH
TASK_NOT_RUNNING

drivers/video/fbdev/core/cfbcopyarea.c fb_copy_rev() -> fb_copy_rev param 3()

Type Parameter Key Value
DATA_SOURCE 1 reverse $4
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 val 0-u64max

drivers/video/fbdev/core/cfbcopyarea.c fb_copy_rev() -> fb_copy_rev param 3()

Type Parameter Key Value
DATA_SOURCE 1 reverse $4
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 val 0-u64max

drivers/video/fbdev/core/cfbcopyarea.c fb_copy_rev() -> fb_copy_rev param 3()

Type Parameter Key Value
DATA_SOURCE 1 reverse $4
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 val 0-u64max

drivers/video/fbdev/core/cfbcopyarea.c fb_copy_rev() -> fb_copy_rev param 3()

Type Parameter Key Value
DATA_SOURCE 1 reverse $4
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 val 0-u64max