Defined in 1 files as a member:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
drivers/video/fbdev/riva/fbdev.c riva_load_state() -> (struct _riva_hw_inst)->LoadStateExt()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | chip | 4096-ptr_max |
| PARAM_VALUE | 1 | state | 4096-ptr_max |
| BUF_SIZE | 1 | state | 136 |
| CONTAINER | 0 | -216+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | chip->Architecture | 0-u32max |
| 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 |
| HOST_DATA | 1 | state->arbitration0 | 0-u32max |
| HOST_DATA | 1 | state->arbitration1 | 0-268435455 |
| HOST_DATA | 1 | state->config | 0-u32max |
| HOST_DATA | 1 | state->crtcOwner | 0-u32max |
| HOST_DATA | 1 | state->cursor0 | 128-32895 |
| HOST_DATA | 1 | state->cursor1 | 0,4-8388604 |
| HOST_DATA | 1 | state->cursor2 | 0-255 |
| HOST_DATA | 1 | state->dither | 0-u32max |
| HOST_DATA | 1 | state->extra | 0-u32max |
| HOST_DATA | 1 | state->head | 0-u32max |
| HOST_DATA | 1 | state->head2 | 0-u32max |
| HOST_DATA | 1 | state->height | 0-u32max |
| HOST_DATA | 1 | state->horiz | 0-u32max |
| HOST_DATA | 1 | state->interlace | 0,2-255 |
| HOST_DATA | 1 | state->pllsel | 268437248,805310208 |
| HOST_DATA | 1 | state->repaint0 | 0-224[c] |
| HOST_DATA | 1 | state->scale | 0-u32max |
| HOST_DATA | 1 | state->screen | 0-31[c] |
| HOST_DATA | 1 | state->vpll2 | 0-u32max |
| HOST_DATA | 1 | state->width | 0-u32max |
| NO_OVERFLOW_SIMPLE | 1 | state->height | |
| NO_OVERFLOW_SIMPLE | 1 | state->width | |
| HALF_LOCKED2 | &info->lock | ||
| HALF_LOCKED2 | &par->open_lock |
drivers/video/fbdev/riva/fbdev.c rivafb_release() -> (struct _riva_hw_inst)->LoadStateExt()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | chip | 4096-ptr_max |
| PARAM_VALUE | 1 | state | 4096-ptr_max |
| CONTAINER | 0 | -216+0 | $(-1) |
| CONTAINER | 1 | -216-0+104+492 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &par->open_lock | ||
| HALF_LOCKED2 | &info->lock | ||
| TYPE_LOCK | (struct riva_par)->open_lock |