Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/video/fbdev/core/syscopyarea.c fb_copy() -> fb_address_backward()

Type Parameter Key Value
PARAM_VALUE 0 adr 5673893654779744256
PARAM_VALUE 0 adr->bits 0-63
DATA_SOURCE 0 adr $0
DATA_SOURCE 1 offset $4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/core/syscopyarea.c fb_copy() -> fb_address_backward()

Type Parameter Key Value
PARAM_VALUE 0 adr 113798318239449088
PARAM_VALUE 0 adr->address 4096-ptr_max
PARAM_VALUE 0 adr->bits 0-63
CAPPED_DATA 0 adr->bits 1
DATA_SOURCE 0 adr $1
DATA_SOURCE 1 offset $4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/core/syscopyarea.c fb_copy_aligned() -> fb_address_backward()

Type Parameter Key Value
PARAM_VALUE 0 adr 5673893654779744256
PARAM_VALUE 0 adr->bits 0-63
DATA_SOURCE 0 adr $0
DATA_SOURCE 1 offset $4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/core/syscopyarea.c fb_copy_aligned() -> fb_address_backward()

Type Parameter Key Value
PARAM_VALUE 0 adr 113798318239449088
PARAM_VALUE 0 adr->bits 0-63
DATA_SOURCE 0 adr $1
DATA_SOURCE 1 offset $4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/core/cfbcopyarea.c fb_copy() -> fb_address_backward()

Type Parameter Key Value
PARAM_VALUE 0 adr 4091319409142132736
PARAM_VALUE 0 adr->bits 0-63
DATA_SOURCE 0 adr $0
DATA_SOURCE 1 offset $4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/core/cfbcopyarea.c fb_copy() -> fb_address_backward()

Type Parameter Key Value
PARAM_VALUE 0 adr 880480444425904128
PARAM_VALUE 0 adr->bits 0-63
CAPPED_DATA 0 adr->bits 1
DATA_SOURCE 0 adr $1
DATA_SOURCE 1 offset $4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/core/cfbcopyarea.c fb_copy_aligned() -> fb_address_backward()

Type Parameter Key Value
PARAM_VALUE 0 adr 4091319409142132736
PARAM_VALUE 0 adr->bits 0-63
DATA_SOURCE 0 adr $0
DATA_SOURCE 1 offset $4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/core/cfbcopyarea.c fb_copy_aligned() -> fb_address_backward()

Type Parameter Key Value
PARAM_VALUE 0 adr 880480444425904128
PARAM_VALUE 0 adr->bits 0-63
DATA_SOURCE 0 adr $1
DATA_SOURCE 1 offset $4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL