Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/video/fbdev/core/syscopyarea.c fb_copy_aligned_fwd() -> fb_copy_offset()

Type Parameter Key Value
PARAM_VALUE 0 offset 0
PARAM_VALUE 1 dst 5673893654779744256
PARAM_VALUE 2 src 113798318239449088
DATA_SOURCE 1 dst $0
DATA_SOURCE 2 src $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/core/syscopyarea.c fb_copy_aligned_fwd() -> fb_copy_offset()

Type Parameter Key Value
PARAM_VALUE 0 offset 0-1,4-s32max
PARAM_VALUE 1 dst 5673893654779744256
PARAM_VALUE 2 src 113798318239449088
DATA_SOURCE 1 dst $0
DATA_SOURCE 2 src $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/core/syscopyarea.c fb_copy_aligned_fwd() -> fb_copy_offset()

Type Parameter Key Value
PARAM_VALUE 0 offset 1-2
PARAM_VALUE 1 dst 5673893654779744256
PARAM_VALUE 1 dst->address 4096-ptr_max
PARAM_VALUE 2 src 113798318239449088
PARAM_VALUE 2 src->address 4096-ptr_max
DATA_SOURCE 1 dst $0
DATA_SOURCE 2 src $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/core/syscopyarea.c fb_copy_aligned_fwd() -> fb_copy_offset()

Type Parameter Key Value
PARAM_VALUE 0 offset 2-3
PARAM_VALUE 1 dst 5673893654779744256
PARAM_VALUE 1 dst->address 4096-ptr_max
PARAM_VALUE 2 src 113798318239449088
PARAM_VALUE 2 src->address 4096-ptr_max
DATA_SOURCE 1 dst $0
DATA_SOURCE 2 src $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/core/syscopyarea.c fb_copy_aligned_fwd() -> fb_copy_offset()

Type Parameter Key Value
PARAM_VALUE 0 offset 3-4
PARAM_VALUE 1 dst 5673893654779744256
PARAM_VALUE 1 dst->address 4096-ptr_max
PARAM_VALUE 2 src 113798318239449088
PARAM_VALUE 2 src->address 4096-ptr_max
DATA_SOURCE 1 dst $0
DATA_SOURCE 2 src $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/core/syscopyarea.c fb_copy_aligned_fwd() -> fb_copy_offset()

Type Parameter Key Value
PARAM_VALUE 0 offset 0-1,4-33554430
PARAM_VALUE 1 dst 5673893654779744256
PARAM_VALUE 2 src 113798318239449088
DATA_SOURCE 1 dst $0
DATA_SOURCE 2 src $1
BIT_INFO 0 offset 0x0,0x1ffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/core/syscopyarea.c fb_copy_aligned_rev() -> fb_copy_offset()

Type Parameter Key Value
PARAM_VALUE 0 offset 0
PARAM_VALUE 1 dst 5673893654779744256
PARAM_VALUE 2 src 113798318239449088
DATA_SOURCE 1 dst $0
DATA_SOURCE 2 src $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/core/syscopyarea.c fb_copy_aligned_rev() -> fb_copy_offset()

Type Parameter Key Value
PARAM_VALUE 0 offset 3-33554430
PARAM_VALUE 1 dst 5673893654779744256
PARAM_VALUE 2 src 113798318239449088
DATA_SOURCE 1 dst $0
DATA_SOURCE 2 src $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 offset unit_long

drivers/video/fbdev/core/syscopyarea.c fb_copy_aligned_rev() -> fb_copy_offset()

Type Parameter Key Value
PARAM_VALUE 0 offset 2-33554429
PARAM_VALUE 1 dst 5673893654779744256
PARAM_VALUE 1 dst->address 4096-ptr_max
PARAM_VALUE 2 src 113798318239449088
PARAM_VALUE 2 src->address 4096-ptr_max
DATA_SOURCE 1 dst $0
DATA_SOURCE 2 src $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 offset unit_long

drivers/video/fbdev/core/syscopyarea.c fb_copy_aligned_rev() -> fb_copy_offset()

Type Parameter Key Value
PARAM_VALUE 0 offset 1-33554428
PARAM_VALUE 1 dst 5673893654779744256
PARAM_VALUE 1 dst->address 4096-ptr_max
PARAM_VALUE 2 src 113798318239449088
PARAM_VALUE 2 src->address 4096-ptr_max
DATA_SOURCE 1 dst $0
DATA_SOURCE 2 src $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 offset unit_long

drivers/video/fbdev/core/syscopyarea.c fb_copy_aligned_rev() -> fb_copy_offset()

Type Parameter Key Value
PARAM_VALUE 0 offset 0-33554427
PARAM_VALUE 1 dst 5673893654779744256
PARAM_VALUE 1 dst->address 4096-ptr_max
PARAM_VALUE 2 src 113798318239449088
PARAM_VALUE 2 src->address 4096-ptr_max
DATA_SOURCE 1 dst $0
DATA_SOURCE 2 src $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 offset unit_long

drivers/video/fbdev/core/syscopyarea.c fb_copy_aligned_rev() -> fb_copy_offset()

Type Parameter Key Value
PARAM_VALUE 1 dst 5673893654779744256
PARAM_VALUE 2 src 113798318239449088
DATA_SOURCE 1 dst $0
DATA_SOURCE 2 src $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/core/cfbcopyarea.c fb_copy_aligned_fwd() -> fb_copy_offset()

Type Parameter Key Value
PARAM_VALUE 0 offset 0
PARAM_VALUE 1 dst 4091319409142132736
PARAM_VALUE 2 src 880480444425904128
DATA_SOURCE 1 dst $0
DATA_SOURCE 2 src $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/core/cfbcopyarea.c fb_copy_aligned_fwd() -> fb_copy_offset()

Type Parameter Key Value
PARAM_VALUE 0 offset 0-1,4-s32max
PARAM_VALUE 1 dst 4091319409142132736
PARAM_VALUE 2 src 880480444425904128
DATA_SOURCE 1 dst $0
DATA_SOURCE 2 src $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/core/cfbcopyarea.c fb_copy_aligned_fwd() -> fb_copy_offset()

Type Parameter Key Value
PARAM_VALUE 0 offset 1-2
PARAM_VALUE 1 dst 4091319409142132736
PARAM_VALUE 2 src 880480444425904128
DATA_SOURCE 1 dst $0
DATA_SOURCE 2 src $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/core/cfbcopyarea.c fb_copy_aligned_fwd() -> fb_copy_offset()

Type Parameter Key Value
PARAM_VALUE 0 offset 2-3
PARAM_VALUE 1 dst 4091319409142132736
PARAM_VALUE 2 src 880480444425904128
DATA_SOURCE 1 dst $0
DATA_SOURCE 2 src $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/core/cfbcopyarea.c fb_copy_aligned_fwd() -> fb_copy_offset()

Type Parameter Key Value
PARAM_VALUE 0 offset 3-4
PARAM_VALUE 1 dst 4091319409142132736
PARAM_VALUE 2 src 880480444425904128
DATA_SOURCE 1 dst $0
DATA_SOURCE 2 src $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/core/cfbcopyarea.c fb_copy_aligned_fwd() -> fb_copy_offset()

Type Parameter Key Value
PARAM_VALUE 0 offset 0-1,4-33554430
PARAM_VALUE 1 dst 4091319409142132736
PARAM_VALUE 2 src 880480444425904128
DATA_SOURCE 1 dst $0
DATA_SOURCE 2 src $1
BIT_INFO 0 offset 0x0,0x1ffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/core/cfbcopyarea.c fb_copy_aligned_rev() -> fb_copy_offset()

Type Parameter Key Value
PARAM_VALUE 0 offset 0
PARAM_VALUE 1 dst 4091319409142132736
PARAM_VALUE 2 src 880480444425904128
DATA_SOURCE 1 dst $0
DATA_SOURCE 2 src $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/core/cfbcopyarea.c fb_copy_aligned_rev() -> fb_copy_offset()

Type Parameter Key Value
PARAM_VALUE 0 offset 3-33554430
PARAM_VALUE 1 dst 4091319409142132736
PARAM_VALUE 2 src 880480444425904128
DATA_SOURCE 1 dst $0
DATA_SOURCE 2 src $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 offset unit_long

drivers/video/fbdev/core/cfbcopyarea.c fb_copy_aligned_rev() -> fb_copy_offset()

Type Parameter Key Value
PARAM_VALUE 0 offset 2-33554429
PARAM_VALUE 1 dst 4091319409142132736
PARAM_VALUE 2 src 880480444425904128
DATA_SOURCE 1 dst $0
DATA_SOURCE 2 src $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 offset unit_long

drivers/video/fbdev/core/cfbcopyarea.c fb_copy_aligned_rev() -> fb_copy_offset()

Type Parameter Key Value
PARAM_VALUE 0 offset 1-33554428
PARAM_VALUE 1 dst 4091319409142132736
PARAM_VALUE 2 src 880480444425904128
DATA_SOURCE 1 dst $0
DATA_SOURCE 2 src $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 offset unit_long

drivers/video/fbdev/core/cfbcopyarea.c fb_copy_aligned_rev() -> fb_copy_offset()

Type Parameter Key Value
PARAM_VALUE 0 offset 0-33554427
PARAM_VALUE 1 dst 4091319409142132736
PARAM_VALUE 2 src 880480444425904128
DATA_SOURCE 1 dst $0
DATA_SOURCE 2 src $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 offset unit_long

drivers/video/fbdev/core/cfbcopyarea.c fb_copy_aligned_rev() -> fb_copy_offset()

Type Parameter Key Value
PARAM_VALUE 1 dst 4091319409142132736
PARAM_VALUE 2 src 880480444425904128
DATA_SOURCE 1 dst $0
DATA_SOURCE 2 src $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL