Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/video/fbdev/controlfb.c control_set_hardware() -> PAR_EQUAL()

Type Parameter Key Value
PARAM_VALUE 0 x 4096-ptr_max
PARAM_VALUE 1 y 7164287847227908096
PARAM_VALUE 1 y->cmode 0-2
DATA_SOURCE 1 y $1
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 y->vxres 0-s32max[c]
HOST_DATA 1 y->vyres (-2147483647)-(-1),1-s32max[c]
HOST_DATA 1 y->xoffset 0-2147483646[c]
HOST_DATA 1 y->yoffset s32min-s32max[c]
NO_OVERFLOW_SIMPLE 1 y->yres
HALF_LOCKED2 &minfo->crtc2.lock