Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/video/fbdev/riva/fbdev.c riva_load_video_mode() -> riva_load_state()

Type Parameter Key Value
PARAM_VALUE 0 par 4096-ptr_max
PARAM_VALUE 0 par->current_state.ext.arbitration1 0-268435455,4026531840-u32max
PARAM_VALUE 0 par->current_state.ext.cursor0 0,128-32895
PARAM_VALUE 0 par->current_state.ext.cursor1 0,4-8388604
PARAM_VALUE 0 par->current_state.ext.cursor2 0-255
PARAM_VALUE 0 par->current_state.ext.cursorConfig 33554688
PARAM_VALUE 0 par->current_state.ext.general 0,16-u32max
PARAM_VALUE 0 par->current_state.ext.interlace 0,2-255
PARAM_VALUE 0 par->current_state.ext.offset0 0
PARAM_VALUE 0 par->current_state.ext.offset1 0
PARAM_VALUE 0 par->current_state.ext.offset2 0
PARAM_VALUE 0 par->current_state.ext.offset3 0
PARAM_VALUE 0 par->current_state.ext.pixel 0-3,128-u32max
PARAM_VALUE 0 par->current_state.ext.pllsel 268437248,268501248,805310208,805374208
PARAM_VALUE 0 par->current_state.ext.repaint0 0-224
PARAM_VALUE 0 par->current_state.ext.repaint1 0,2,4,6
PARAM_VALUE 0 par->current_state.ext.screen 0-31
PARAM_VALUE 0 par->current_state.ext.vpll 0-524287
PARAM_VALUE 1 regs 4096-ptr_max
PARAM_VALUE 1 regs->ext.arbitration1 0-268435455,4026531840-u32max
PARAM_VALUE 1 regs->ext.cursor0 0,128-32895
PARAM_VALUE 1 regs->ext.cursor1 0,4-8388604
PARAM_VALUE 1 regs->ext.cursor2 0-255
PARAM_VALUE 1 regs->ext.cursorConfig 33554688
PARAM_VALUE 1 regs->ext.general 0,16-u32max
PARAM_VALUE 1 regs->ext.interlace 0,2-255
PARAM_VALUE 1 regs->ext.pixel 0-3,128-u32max
PARAM_VALUE 1 regs->ext.pllsel 268437248,268501248,805310208,805374208
PARAM_VALUE 1 regs->ext.repaint0 0-224
PARAM_VALUE 1 regs->ext.repaint1 0,2,4,6
PARAM_VALUE 1 regs->ext.screen 0-31
PARAM_VALUE 1 regs->ext.vpll 0-524287
BUF_SIZE 0 par 2,4,16,24,32,128,216,248,256,1288,1984,2560,2864
BUF_SIZE 0 par 2,4,16,24,32,128,216,248,256,1288,1984,2560,2864
CAPPED_DATA 0 par->riva.MaxVClockFreqKHz 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 par->current_state.ext.arbitration0 0-u32max
HOST_DATA 0 par->current_state.ext.arbitration1 0-268435455,4026531840-u32max
HOST_DATA 0 par->current_state.ext.config 0-u32max
HOST_DATA 0 par->current_state.ext.crtcOwner 0-u32max
HOST_DATA 0 par->current_state.ext.cursor0 128-32895
HOST_DATA 0 par->current_state.ext.cursor1 0,4-8388604
HOST_DATA 0 par->current_state.ext.cursor2 0-255
HOST_DATA 0 par->current_state.ext.dither 0-u32max
HOST_DATA 0 par->current_state.ext.extra 0-u32max
HOST_DATA 0 par->current_state.ext.head 0-u32max
HOST_DATA 0 par->current_state.ext.head2 0-u32max
HOST_DATA 0 par->current_state.ext.height 0-u32max
HOST_DATA 0 par->current_state.ext.horiz 0-u32max
HOST_DATA 0 par->current_state.ext.interlace 0,2-255
HOST_DATA 0 par->current_state.ext.pllsel 268437248,805310208
HOST_DATA 0 par->current_state.ext.repaint0 0-224[c]
HOST_DATA 0 par->current_state.ext.scale 0-u32max
HOST_DATA 0 par->current_state.ext.screen 0-31[c]
HOST_DATA 0 par->current_state.ext.vpll2 0-u32max
HOST_DATA 0 par->current_state.ext.width 0-u32max
HOST_DATA 1 regs->ext.arbitration0 0-u32max
HOST_DATA 1 regs->ext.arbitration1 0-268435455,4026531840-u32max
HOST_DATA 1 regs->ext.config 0-u32max
HOST_DATA 1 regs->ext.crtcOwner 0-u32max
HOST_DATA 1 regs->ext.cursor0 128-32895
HOST_DATA 1 regs->ext.cursor1 0,4-8388604
HOST_DATA 1 regs->ext.cursor2 0-255
HOST_DATA 1 regs->ext.dither 0-u32max
HOST_DATA 1 regs->ext.extra 0-u32max
HOST_DATA 1 regs->ext.head 0-u32max
HOST_DATA 1 regs->ext.head2 0-u32max
HOST_DATA 1 regs->ext.height 0-u32max
HOST_DATA 1 regs->ext.horiz 0-u32max
HOST_DATA 1 regs->ext.interlace 0,2-255
HOST_DATA 1 regs->ext.pllsel 268437248,805310208
HOST_DATA 1 regs->ext.repaint0 0-224[c]
HOST_DATA 1 regs->ext.scale 0-u32max
HOST_DATA 1 regs->ext.screen 0-31[c]
HOST_DATA 1 regs->ext.vpll2 0-u32max
HOST_DATA 1 regs->ext.width 0-u32max
NO_OVERFLOW_SIMPLE 0 par->current_state.ext.height
NO_OVERFLOW_SIMPLE 0 par->current_state.ext.width
NO_OVERFLOW_SIMPLE 1 regs->ext.height
NO_OVERFLOW_SIMPLE 1 regs->ext.width
UNITS 0 par unit_byte
HALF_LOCKED2 &info->lock
HALF_LOCKED2 &minfo->crtc2.lock

drivers/video/fbdev/riva/fbdev.c rivafb_release() -> riva_load_state()

Type Parameter Key Value
PARAM_VALUE 0 par 4096-ptr_max
PARAM_VALUE 0 par->initial_state.ext.bpp 8,15-16,24,32
PARAM_VALUE 0 par->open_lock.dep_map->name 0-255
PARAM_VALUE 0 par->open_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 par->open_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 par->open_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 par->open_lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 par->open_lock.wait_lock.owner (-1)
PARAM_VALUE 0 par->open_lock.wait_lock.owner_cpu u32max
PARAM_VALUE 0 par->ref_count 1
PARAM_VALUE 0 par->riva.CurrentState 4096-ptr_max
PARAM_VALUE 0 par->riva.CurrentState->bpp 8,15-16,24,32
PARAM_VALUE 0 par->riva.FifoFreeCount 0
PARAM_VALUE 0 par->riva.Tri03 0,4096-ptr_max
PARAM_VALUE 0 par->riva.Tri03->EyeM -9223372036854775808.000000-9223372036854775808.000000
PARAM_VALUE 0 par->riva.Tri03->ScreenX -9223372036854775808.000000-9223372036854775808.000000
PARAM_VALUE 0 par->riva.Tri03->ScreenY -9223372036854775808.000000-9223372036854775808.000000
PARAM_VALUE 0 par->riva.Tri03->ScreenZ -9223372036854775808.000000-9223372036854775808.000000
PARAM_VALUE 0 par->riva.Tri03->TextureS -9223372036854775808.000000-9223372036854775808.000000
PARAM_VALUE 0 par->riva.Tri03->TextureT -9223372036854775808.000000-9223372036854775808.000000
PARAM_VALUE 0 par->riva.Tri05 4096-ptr_max
PARAM_VALUE 1 regs 4096-ptr_max
PARAM_VALUE 1 regs->ext.bpp 8,15-16,24,32
BUF_SIZE 0 par 2,4,16,24,32,128,216,248,256,1288,1984,2560,2864
BUF_SIZE 0 par 2,4,16,24,32,128,216,248,256,1288,1984,2560,2864
CAPPED_DATA 0 &par->open_lock 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 par->riva s64min-s64max
HOST_DATA 0 par->riva.Architecture 0-u32max
HOST_DATA 0 par->riva.Chipset 0-u32max
HOST_DATA 0 par->riva.CrystalFreqKHz 0-u32max
HOST_DATA 0 par->riva.CursorStart 0-u32max
HOST_DATA 0 par->riva.EnableIRQ 0-u32max
HOST_DATA 0 par->riva.FifoEmptyCount 0-u32max
HOST_DATA 0 par->riva.FifoFreeCount 0
HOST_DATA 0 par->riva.IO 0-u32max
HOST_DATA 0 par->riva.MaxVClockFreqKHz 0-u32max
HOST_DATA 0 par->riva.RamAmountKBytes 0-u32max
HOST_DATA 0 par->riva.RamBandwidthKBytesPerSec 0-u32max
HOST_DATA 0 par->riva.VBlankBit 0-u32max
HOST_DATA 0 par->riva.Version 0-u32max
HOST_DATA 0 par->riva.flatPanel 0-u32max
HOST_DATA 0 par->riva.twoHeads s32min-s32max
NO_OVERFLOW_SIMPLE 0 par->riva.CurrentState->height
NO_OVERFLOW_SIMPLE 0 par->riva.CurrentState->width
UNITS 0 par unit_byte
LOCK2 0 &par->open_lock
HALF_LOCKED2 &info->lock
TYPE_LOCK (struct riva_par)->open_lock