Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/video/fbdev/riva/riva_hw.c LoadStateExt() -> UpdateFifoState()

Type Parameter Key Value
PARAM_VALUE 0 chip 4096-ptr_max
PARAM_VALUE 0 chip->FIFO 4096-ptr_max
PARAM_VALUE 0 chip->PGRAPH 4096-ptr_max
PARAM_VALUE 0 chip->Tri03 0,4096-ptr_max
PARAM_VALUE 0 chip->Tri03->EyeM -9223372036854775808.000000-9223372036854775808.000000
PARAM_VALUE 0 chip->Tri03->ScreenX -9223372036854775808.000000-9223372036854775808.000000
PARAM_VALUE 0 chip->Tri03->ScreenY -9223372036854775808.000000-9223372036854775808.000000
PARAM_VALUE 0 chip->Tri03->ScreenZ -9223372036854775808.000000-9223372036854775808.000000
PARAM_VALUE 0 chip->Tri03->TextureS -9223372036854775808.000000-9223372036854775808.000000
PARAM_VALUE 0 chip->Tri03->TextureT -9223372036854775808.000000-9223372036854775808.000000
DATA_SOURCE 0 chip $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 chip->Architecture 3-4,32,48
HOST_DATA 0 chip->Chipset 0-u32max
HOST_DATA 0 chip->CrystalFreqKHz 0-u32max
HOST_DATA 0 chip->CursorStart 0-u32max
HOST_DATA 0 chip->EnableIRQ 0-u32max
HOST_DATA 0 chip->FifoEmptyCount 0-u32max
HOST_DATA 0 chip->FifoFreeCount 0
HOST_DATA 0 chip->IO 0-u32max
HOST_DATA 0 chip->MaxVClockFreqKHz 0-u32max
HOST_DATA 0 chip->RamAmountKBytes 0-u32max
HOST_DATA 0 chip->RamBandwidthKBytesPerSec 0-u32max
HOST_DATA 0 chip->VBlankBit 0-u32max
HOST_DATA 0 chip->Version 0-u32max
HOST_DATA 0 chip->flatPanel 0-u32max
HOST_DATA 0 chip->twoHeads s32min-s32max
HALF_LOCKED2 &info->lock
HALF_LOCKED2 &par->open_lock