Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/video/fbdev/nvidia/nv_hw.c NVCalcStateExt() -> nForceUpdateArbitrationSettings()

Type Parameter Key Value
PARAM_VALUE 1 pixelDepth 0-32,2147483656-4294967288
PARAM_VALUE 2 burst 4096-ptr_max
PARAM_VALUE 3 lwm 4096-ptr_max
PARAM_VALUE 4 par 4096-ptr_max
PARAM_VALUE 4 par->Architecture 16,32,48,64
PARAM_VALUE 4 par->ModeReg.attr 4096-ptr_max
PARAM_VALUE 4 par->ModeReg.crtc 4096-ptr_max
PARAM_VALUE 4 par->ModeReg.interlace 0,2-255
PARAM_VALUE 4 par->ModeReg.screen 0-31
BUF_SIZE 4 par 2,4,16,24,32,128,216,248,256,1288,1984,2560
BUF_SIZE 4 par 2,4,16,24,32,128,216,248,256,1288,1984,2560
DATA_SOURCE 4 par $0
FUZZY_MAX 4 par->ModeReg.interlace 255
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 4 par unit_byte
HALF_LOCKED2 &info->lock
HALF_LOCKED2 &minfo->crtc2.lock
HALF_LOCKED2 global &console_sem

drivers/video/fbdev/riva/riva_hw.c CalcStateExt() -> nForceUpdateArbitrationSettings()

Type Parameter Key Value
PARAM_VALUE 2 burst 6993934823244632216
PARAM_VALUE 3 lwm 6993934823244632220
PARAM_VALUE 4 par 4096-ptr_max
PARAM_VALUE 4 par->Architecture 16,32,48
PARAM_VALUE 4 par->Chipset 282984864,282984944
CAPPED_DATA 4 par->MaxVClockFreqKHz 1
DATA_SOURCE 4 par $0
DATA_SOURCE 5 pdev $2
FUZZY_MAX 4 par->Chipset 282984944
BIT_INFO 4 par->Chipset 0x10de01a0,0x10de01f0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &info->lock
HALF_LOCKED2 &minfo->crtc2.lock