Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
DATA_SOURCE 1 $ $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 $ $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 $ $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 $ $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 $ $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 $ r fb_right
DATA_SOURCE 1 $ $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 $ $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 $ $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 $ $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 $ $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 $ $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 $ $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 $ $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 $ $4
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 $ 0-u64max

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

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

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

Type Parameter Key Value
DATA_SOURCE 1 $ $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 $ $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 $ $4
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 $ 0-u64max

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

Type Parameter Key Value
DATA_SOURCE 0 $ r fb_right
DATA_SOURCE 1 $ $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 $ $4
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 $ 0-u64max

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

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

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

Type Parameter Key Value
DATA_SOURCE 1 $ $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 $ $4
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 $ 0-u64max

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

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

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

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

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

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

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

Type Parameter Key Value
DATA_SOURCE 1 $ $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 $ $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 $ $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 $ $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 $ $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 $ $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 $ $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 $ $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 $ $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 $ $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 $ $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 $ $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 $ $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 $ $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 $ $4
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 $ 0-u64max

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

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

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

Type Parameter Key Value
DATA_SOURCE 1 $ $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 $ $4
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 $ 0-u64max

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

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

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

Type Parameter Key Value
DATA_SOURCE 1 $ $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 $ $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 $ $4
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 $ 0-u64max

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

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

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

Type Parameter Key Value
DATA_SOURCE 1 $ $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 $ $4
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 $ 0-u64max

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

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

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

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

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

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