Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 1 mask 1-18446744073709551614
PARAM_VALUE 2 offset 0
PARAM_VALUE 3 dst 8185865809208610816
DATA_SOURCE 3 dst $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &console_sem

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

Type Parameter Key Value
PARAM_VALUE 1 mask 0-18446744073709551614
PARAM_VALUE 2 offset 0
PARAM_VALUE 3 dst 8185865809208610816
DATA_SOURCE 1 mask r fb_pixel_mask
DATA_SOURCE 3 dst $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &console_sem

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

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

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

Type Parameter Key Value
PARAM_VALUE 1 mask 0-18446744073709551614
PARAM_VALUE 2 offset 0
PARAM_VALUE 3 dst 5673893654779744256
DATA_SOURCE 3 dst $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 2 offset 0
PARAM_VALUE 3 dst 5673893654779744256
DATA_SOURCE 3 dst $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 1 mask 0-18446744073709551614
PARAM_VALUE 2 offset 0
PARAM_VALUE 3 dst 5673893654779744256
DATA_SOURCE 1 mask r fb_pixel_mask
DATA_SOURCE 3 dst $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 1 mask 1-u64max
PARAM_VALUE 2 offset 1,4-s32max
PARAM_VALUE 3 dst 5673893654779744256
DATA_SOURCE 3 dst $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 offset unit_long

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

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

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

Type Parameter Key Value
PARAM_VALUE 2 offset 0
PARAM_VALUE 3 dst 5673893654779744256
DATA_SOURCE 3 dst $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 1 mask 0-18446744073709551614
PARAM_VALUE 2 offset 0
PARAM_VALUE 3 dst 5673893654779744256
DATA_SOURCE 3 dst $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 1 mask 1-u64max
PARAM_VALUE 2 offset 1-33554431
PARAM_VALUE 3 dst 5673893654779744256
DATA_SOURCE 2 offset $2 [m]
DATA_SOURCE 3 dst $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 offset unit_long

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

Type Parameter Key Value
PARAM_VALUE 1 mask 0-18446744073709551614
PARAM_VALUE 2 offset 0
PARAM_VALUE 3 dst 5673893654779744256
DATA_SOURCE 1 mask r fb_pixel_mask
DATA_SOURCE 3 dst $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 1 mask 1-18446744073709551614
PARAM_VALUE 2 offset 0
PARAM_VALUE 3 dst 161777641885937664
DATA_SOURCE 3 dst $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &p->lock
HALF_LOCKED2 global &console_sem

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

Type Parameter Key Value
PARAM_VALUE 1 mask 0-18446744073709551614
PARAM_VALUE 2 offset 0
PARAM_VALUE 3 dst 161777641885937664
DATA_SOURCE 1 mask r fb_pixel_mask
DATA_SOURCE 3 dst $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &p->lock
HALF_LOCKED2 global &console_sem

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

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

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

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

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

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

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

Type Parameter Key Value
PARAM_VALUE 1 mask 0-18446744073709551614
PARAM_VALUE 2 offset 0
PARAM_VALUE 3 dst 4091319409142132736
DATA_SOURCE 1 mask r fb_pixel_mask
DATA_SOURCE 3 dst $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 1 mask 1-u64max
PARAM_VALUE 2 offset 1,4-s32max
PARAM_VALUE 3 dst 4091319409142132736
DATA_SOURCE 3 dst $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 val 0-u64max
UNITS 2 offset unit_long

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

Type Parameter Key Value
PARAM_VALUE 2 offset 0-s32max
PARAM_VALUE 3 dst 4091319409142132736
DATA_SOURCE 1 mask $0
DATA_SOURCE 2 offset $1
DATA_SOURCE 3 dst $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 val 0-u64max
UNITS 2 offset unit_long

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

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

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

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

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

Type Parameter Key Value
PARAM_VALUE 1 mask 1-u64max
PARAM_VALUE 2 offset 1-33554431
PARAM_VALUE 3 dst 4091319409142132736
DATA_SOURCE 2 offset $2 [m]
DATA_SOURCE 3 dst $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 offset unit_long

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

Type Parameter Key Value
PARAM_VALUE 1 mask 0-18446744073709551614
PARAM_VALUE 2 offset 0
PARAM_VALUE 3 dst 4091319409142132736
DATA_SOURCE 1 mask r fb_pixel_mask
DATA_SOURCE 3 dst $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL