Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/video/fbdev/core/cfbfillrect.c fb_fillrect() -> fb_address_forward()

Type Parameter Key Value
PARAM_VALUE 0 adr 8185865809208610816
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &console_sem

drivers/video/fbdev/core/cfbfillrect.c fb_fillrect_rotating() -> fb_address_forward()

Type Parameter Key Value
PARAM_VALUE 0 adr 8185865809208610816
PARAM_VALUE 0 adr->bits 0-63
DATA_SOURCE 0 adr $2
DATA_SOURCE 1 offset $5
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &console_sem

drivers/video/fbdev/core/cfbfillrect.c fb_fillrect_rotating() -> fb_address_forward()

Type Parameter Key Value
PARAM_VALUE 0 adr 8185865809208610816
PARAM_VALUE 0 adr->bits 0-63
DATA_SOURCE 0 adr $2
DATA_SOURCE 1 offset $5
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &console_sem

drivers/video/fbdev/core/cfbfillrect.c fb_fillrect_static() -> fb_address_forward()

Type Parameter Key Value
PARAM_VALUE 0 adr 8185865809208610816
PARAM_VALUE 0 adr->bits 0-63
DATA_SOURCE 0 adr $2
DATA_SOURCE 1 offset $4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &console_sem

drivers/video/fbdev/core/cfbfillrect.c fb_fillrect_static() -> fb_address_forward()

Type Parameter Key Value
PARAM_VALUE 0 adr 8185865809208610816
PARAM_VALUE 0 adr->bits 0-63
DATA_SOURCE 0 adr $2
DATA_SOURCE 1 offset $4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &console_sem

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

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_forward()

Type Parameter Key Value
PARAM_VALUE 0 adr 113798318239449088
PARAM_VALUE 0 adr->address 4096-ptr_max
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/syscopyarea.c fb_copy_aligned() -> fb_address_forward()

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_forward()

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/syscopyarea.c fb_copyarea() -> fb_address_forward()

Type Parameter Key Value
PARAM_VALUE 0 adr 5673893654779744256
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/core/syscopyarea.c fb_copyarea() -> fb_address_forward()

Type Parameter Key Value
PARAM_VALUE 0 adr 113798318239449088
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/core/sysimgblt.c fb_bitmap1x_imageblit() -> fb_address_forward()

Type Parameter Key Value
PARAM_VALUE 0 adr 670007098737168384
PARAM_VALUE 0 adr->bits 0-63
DATA_SOURCE 0 adr $1
DATA_SOURCE 1 offset $5
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &console_sem

drivers/video/fbdev/core/sysimgblt.c fb_bitmap4x_imageblit() -> fb_address_forward()

Type Parameter Key Value
PARAM_VALUE 0 adr 670007098737168384
PARAM_VALUE 0 adr->bits 0-63
DATA_SOURCE 0 adr $1
DATA_SOURCE 1 offset $5
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &console_sem

drivers/video/fbdev/core/sysimgblt.c fb_color_imageblit() -> fb_address_forward()

Type Parameter Key Value
PARAM_VALUE 0 adr 670007098737168384
PARAM_VALUE 0 adr->bits 0-63
DATA_SOURCE 0 adr $1
DATA_SOURCE 1 offset $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &console_sem

drivers/video/fbdev/core/sysimgblt.c fb_imageblit() -> fb_address_forward()

Type Parameter Key Value
PARAM_VALUE 0 adr 670007098737168384
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &console_sem

drivers/video/fbdev/core/sysfillrect.c fb_fillrect() -> fb_address_forward()

Type Parameter Key Value
PARAM_VALUE 0 adr 161777641885937664
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &p->lock
HALF_LOCKED2 global &console_sem

drivers/video/fbdev/core/sysfillrect.c fb_fillrect_rotating() -> fb_address_forward()

Type Parameter Key Value
PARAM_VALUE 0 adr 161777641885937664
PARAM_VALUE 0 adr->bits 0-63
DATA_SOURCE 0 adr $2
DATA_SOURCE 1 offset $5
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &p->lock
HALF_LOCKED2 global &console_sem

drivers/video/fbdev/core/sysfillrect.c fb_fillrect_rotating() -> fb_address_forward()

Type Parameter Key Value
PARAM_VALUE 0 adr 161777641885937664
PARAM_VALUE 0 adr->bits 0-63
DATA_SOURCE 0 adr $2
DATA_SOURCE 1 offset $5
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &p->lock
HALF_LOCKED2 global &console_sem

drivers/video/fbdev/core/sysfillrect.c fb_fillrect_static() -> fb_address_forward()

Type Parameter Key Value
PARAM_VALUE 0 adr 161777641885937664
PARAM_VALUE 0 adr->bits 0-63
DATA_SOURCE 0 adr $2
DATA_SOURCE 1 offset $4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &p->lock
HALF_LOCKED2 global &console_sem

drivers/video/fbdev/core/sysfillrect.c fb_fillrect_static() -> fb_address_forward()

Type Parameter Key Value
PARAM_VALUE 0 adr 161777641885937664
PARAM_VALUE 0 adr->bits 0-63
DATA_SOURCE 0 adr $2
DATA_SOURCE 1 offset $4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &p->lock
HALF_LOCKED2 global &console_sem

drivers/video/fbdev/core/cfbimgblt.c fb_bitmap1x_imageblit() -> fb_address_forward()

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

drivers/video/fbdev/core/cfbimgblt.c fb_bitmap4x_imageblit() -> fb_address_forward()

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

drivers/video/fbdev/core/cfbimgblt.c fb_color_imageblit() -> fb_address_forward()

Type Parameter Key Value
PARAM_VALUE 0 adr 1797349631505608704
PARAM_VALUE 0 adr->bits 0-63
DATA_SOURCE 0 adr $1
DATA_SOURCE 1 offset $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &console_sem

drivers/video/fbdev/core/cfbimgblt.c fb_imageblit() -> fb_address_forward()

Type Parameter Key Value
PARAM_VALUE 0 adr 1797349631505608704
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &console_sem

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

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_forward()

Type Parameter Key Value
PARAM_VALUE 0 adr 880480444425904128
PARAM_VALUE 0 adr->address 4096-ptr_max
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_aligned() -> fb_address_forward()

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_forward()

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

drivers/video/fbdev/core/cfbcopyarea.c fb_copyarea() -> fb_address_forward()

Type Parameter Key Value
PARAM_VALUE 0 adr 4091319409142132736
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/core/cfbcopyarea.c fb_copyarea() -> fb_address_forward()

Type Parameter Key Value
PARAM_VALUE 0 adr 880480444425904128
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL