Defined in 2 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/video/fbdev/core/cfbfillrect.c fb_invert_offset() -> fb_read_offset()

Type Parameter Key Value
PARAM_VALUE 0 offset 0-s32max
PARAM_VALUE 1 src 8185865809208610816
DATA_SOURCE 0 offset $1
DATA_SOURCE 1 src $2
FUZZY_MAX 0 offset 0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 offset unit_long
HALF_LOCKED2 global &console_sem

drivers/video/fbdev/core/cfbfillrect.c fb_modify_offset() -> fb_read_offset()

Type Parameter Key Value
PARAM_VALUE 0 offset 0-1,4-s32max
PARAM_VALUE 1 src 8185865809208610816
DATA_SOURCE 0 offset $2
DATA_SOURCE 1 src $3
RX_PATH
TASK_NOT_RUNNING
UNITS 0 offset unit_long
HALF_LOCKED2 global &console_sem

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

Type Parameter Key Value
PARAM_VALUE 0 offset (-1)
PARAM_VALUE 1 src 113798318239449088
PARAM_VALUE 1 src->address 4096-ptr_max
DATA_SOURCE 1 src $1
RX_PATH
TASK_NOT_RUNNING

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

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

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

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

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

Type Parameter Key Value
PARAM_VALUE 0 offset (-1)
PARAM_VALUE 1 src 113798318239449088
PARAM_VALUE 1 src->address 4096-ptr_max
DATA_SOURCE 1 src $1
RX_PATH
TASK_NOT_RUNNING

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

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

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

Type Parameter Key Value
PARAM_VALUE 0 offset 0-1,4-s32max
PARAM_VALUE 1 src 113798318239449088
PARAM_VALUE 1 src->address 4096-ptr_max
DATA_SOURCE 1 src $1
RX_PATH
TASK_NOT_RUNNING

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

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

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

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

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

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

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

Type Parameter Key Value
PARAM_VALUE 0 offset 0-1,4-33554430
PARAM_VALUE 1 src 113798318239449088
PARAM_VALUE 1 src->address 4096-ptr_max
CAPPED_DATA 0 offset 1
DATA_SOURCE 1 src $1
RX_PATH
TASK_NOT_RUNNING
UNITS 0 offset unit_long

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

Type Parameter Key Value
PARAM_VALUE 0 offset 1,4-s32max
PARAM_VALUE 1 src 113798318239449088
PARAM_VALUE 1 src->address 4096-ptr_max
DATA_SOURCE 1 src $1
RX_PATH
TASK_NOT_RUNNING
UNITS 0 offset unit_long

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

Type Parameter Key Value
PARAM_VALUE 1 src 113798318239449088
DATA_SOURCE 0 offset $0
DATA_SOURCE 1 src $2
RX_PATH
TASK_NOT_RUNNING
UNITS 0 offset unit_long

drivers/video/fbdev/core/syscopyarea.c fb_copy_offset_masked() -> fb_read_offset()

Type Parameter Key Value
PARAM_VALUE 0 offset 0-s32max
PARAM_VALUE 1 src 113798318239449088
DATA_SOURCE 0 offset $1
DATA_SOURCE 1 src $3
RX_PATH
TASK_NOT_RUNNING
UNITS 0 offset unit_long

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

Type Parameter Key Value
PARAM_VALUE 0 offset 1
PARAM_VALUE 1 src 113798318239449088
DATA_SOURCE 1 src $1
RX_PATH
TASK_NOT_RUNNING

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

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

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

Type Parameter Key Value
PARAM_VALUE 0 offset 0
PARAM_VALUE 1 src 113798318239449088
DATA_SOURCE 1 src $1
RX_PATH
TASK_NOT_RUNNING

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

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

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

Type Parameter Key Value
PARAM_VALUE 0 offset 2-33554432
PARAM_VALUE 1 src 113798318239449088
DATA_SOURCE 1 src $1
RX_PATH
TASK_NOT_RUNNING
UNITS 0 offset unit_long

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

Type Parameter Key Value
PARAM_VALUE 0 offset 1-33554431
PARAM_VALUE 1 src 113798318239449088
DATA_SOURCE 0 offset $2 [m]
DATA_SOURCE 1 src $1
RX_PATH
TASK_NOT_RUNNING
UNITS 0 offset unit_long

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

Type Parameter Key Value
PARAM_VALUE 0 offset 3-33554430
PARAM_VALUE 1 src 113798318239449088
PARAM_VALUE 1 src->address 4096-ptr_max
DATA_SOURCE 1 src $1
RX_PATH
TASK_NOT_RUNNING
UNITS 0 offset unit_long

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

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

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

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

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

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

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

Type Parameter Key Value
PARAM_VALUE 0 offset s32min-33554430
PARAM_VALUE 1 src 113798318239449088
PARAM_VALUE 1 src->address 4096-ptr_max
DATA_SOURCE 0 offset $2 [m]
DATA_SOURCE 1 src $1
RX_PATH
TASK_NOT_RUNNING
UNITS 0 offset unit_long

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

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

drivers/video/fbdev/core/syscopyarea.c fb_modify_offset() -> fb_read_offset()

Type Parameter Key Value
PARAM_VALUE 0 offset 0-s32max
PARAM_VALUE 1 src 5673893654779744256
DATA_SOURCE 0 offset $2
DATA_SOURCE 1 src $3
RX_PATH
TASK_NOT_RUNNING
UNITS 0 offset unit_long

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

Type Parameter Key Value
PARAM_VALUE 0 offset 0
PARAM_VALUE 1 src 670007098737168384
DATA_SOURCE 1 src $3
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 0 offset 0-s32max
PARAM_VALUE 1 src 670007098737168384
DATA_SOURCE 1 src $3
FUZZY_MAX 0 offset 0
RX_PATH
TASK_NOT_RUNNING

drivers/video/fbdev/core/sysfillrect.c fb_invert_offset() -> fb_read_offset()

Type Parameter Key Value
PARAM_VALUE 0 offset 0-s32max
PARAM_VALUE 1 src 161777641885937664
DATA_SOURCE 0 offset $1
DATA_SOURCE 1 src $2
FUZZY_MAX 0 offset 0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 offset unit_long
HALF_LOCKED2 &p->lock
HALF_LOCKED2 global &console_sem

drivers/video/fbdev/core/sysfillrect.c fb_modify_offset() -> fb_read_offset()

Type Parameter Key Value
PARAM_VALUE 0 offset 0-1,4-s32max
PARAM_VALUE 1 src 161777641885937664
DATA_SOURCE 0 offset $2
DATA_SOURCE 1 src $3
RX_PATH
TASK_NOT_RUNNING
UNITS 0 offset unit_long
HALF_LOCKED2 &p->lock
HALF_LOCKED2 global &console_sem

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

Type Parameter Key Value
PARAM_VALUE 0 offset 0
PARAM_VALUE 1 src 1797349631505608704
DATA_SOURCE 1 src $3
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 0 offset 0-s32max
PARAM_VALUE 1 src 1797349631505608704
DATA_SOURCE 1 src $3
FUZZY_MAX 0 offset 0
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 0 offset (-1)
PARAM_VALUE 1 src 880480444425904128
PARAM_VALUE 1 src->address 4096-ptr_max
DATA_SOURCE 1 src $1
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 0 offset 0
PARAM_VALUE 1 src 880480444425904128
PARAM_VALUE 1 src->address 4096-ptr_max
DATA_SOURCE 1 src $1
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 0 offset 0
PARAM_VALUE 1 src 880480444425904128
PARAM_VALUE 1 src->address 4096-ptr_max
DATA_SOURCE 1 src $1
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 0 offset (-1)
PARAM_VALUE 1 src 880480444425904128
PARAM_VALUE 1 src->address 4096-ptr_max
DATA_SOURCE 1 src $1
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 0 offset 0
PARAM_VALUE 1 src 880480444425904128
PARAM_VALUE 1 src->address 4096-ptr_max
DATA_SOURCE 1 src $1
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 0 offset 0-1,4-s32max
PARAM_VALUE 1 src 880480444425904128
PARAM_VALUE 1 src->address 4096-ptr_max
DATA_SOURCE 1 src $1
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 0 offset 1-2
PARAM_VALUE 1 src 880480444425904128
PARAM_VALUE 1 src->address 4096-ptr_max
DATA_SOURCE 1 src $1
RX_PATH
TASK_NOT_RUNNING

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

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

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

Type Parameter Key Value
PARAM_VALUE 0 offset 3-4
PARAM_VALUE 1 src 880480444425904128
PARAM_VALUE 1 src->address 4096-ptr_max
DATA_SOURCE 1 src $1
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 0 offset 0-1,4-33554430
PARAM_VALUE 1 src 880480444425904128
PARAM_VALUE 1 src->address 4096-ptr_max
CAPPED_DATA 0 offset 1
DATA_SOURCE 1 src $1
RX_PATH
TASK_NOT_RUNNING
UNITS 0 offset unit_long

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

Type Parameter Key Value
PARAM_VALUE 0 offset 1,4-s32max
PARAM_VALUE 1 src 880480444425904128
PARAM_VALUE 1 src->address 4096-ptr_max
DATA_SOURCE 1 src $1
RX_PATH
TASK_NOT_RUNNING
UNITS 0 offset unit_long

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

Type Parameter Key Value
PARAM_VALUE 1 src 880480444425904128
DATA_SOURCE 0 offset $0
DATA_SOURCE 1 src $2
RX_PATH
TASK_NOT_RUNNING
UNITS 0 offset unit_long

drivers/video/fbdev/core/cfbcopyarea.c fb_copy_offset_masked() -> fb_read_offset()

Type Parameter Key Value
PARAM_VALUE 0 offset 0-s32max
PARAM_VALUE 1 src 880480444425904128
DATA_SOURCE 0 offset $1
DATA_SOURCE 1 src $3
RX_PATH
TASK_NOT_RUNNING
UNITS 0 offset unit_long

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

Type Parameter Key Value
PARAM_VALUE 0 offset 1
PARAM_VALUE 1 src 880480444425904128
DATA_SOURCE 1 src $1
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 0 offset 0
PARAM_VALUE 1 src 880480444425904128
DATA_SOURCE 1 src $1
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 0 offset 0
PARAM_VALUE 1 src 880480444425904128
DATA_SOURCE 1 src $1
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 0 offset 1
PARAM_VALUE 1 src 880480444425904128
DATA_SOURCE 1 src $1
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 0 offset 2-33554432
PARAM_VALUE 1 src 880480444425904128
DATA_SOURCE 1 src $1
RX_PATH
TASK_NOT_RUNNING
UNITS 0 offset unit_long

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

Type Parameter Key Value
PARAM_VALUE 0 offset 1-33554431
PARAM_VALUE 1 src 880480444425904128
DATA_SOURCE 0 offset $2 [m]
DATA_SOURCE 1 src $1
RX_PATH
TASK_NOT_RUNNING
UNITS 0 offset unit_long

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

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

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

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

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

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

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

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

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

Type Parameter Key Value
PARAM_VALUE 0 offset s32min-33554430
PARAM_VALUE 1 src 880480444425904128
DATA_SOURCE 0 offset $2 [m]
DATA_SOURCE 1 src $1
RX_PATH
TASK_NOT_RUNNING
UNITS 0 offset unit_long

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

Type Parameter Key Value
PARAM_VALUE 0 offset 0
PARAM_VALUE 1 src 880480444425904128
DATA_SOURCE 1 src $1
RX_PATH
TASK_NOT_RUNNING

drivers/video/fbdev/core/cfbcopyarea.c fb_modify_offset() -> fb_read_offset()

Type Parameter Key Value
PARAM_VALUE 0 offset 0-s32max
PARAM_VALUE 1 src 4091319409142132736
DATA_SOURCE 0 offset $2
DATA_SOURCE 1 src $3
RX_PATH
TASK_NOT_RUNNING
UNITS 0 offset unit_long