Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/video/fbdev/nvidia/nvidia.c nvidiafb_open() -> nvidia_save_vga()

Type Parameter Key Value
PARAM_VALUE 0 par 4096-ptr_max
PARAM_VALUE 0 par->open_count 0
PARAM_VALUE 0 par->vgastate->vidstate->attr 0-255
PARAM_VALUE 0 par->vgastate->vidstate->crtc 0-255
PARAM_VALUE 0 par->vgastate->vidstate->gfx 0-255
PARAM_VALUE 0 par->vgastate->vidstate->seq 0-255
PARAM_VALUE 0 par->vgastate->vidstate->vga_cmap 0-255
PARAM_VALUE 0 par->vgastate.depth 0
PARAM_VALUE 0 par->vgastate.flags 31
PARAM_VALUE 0 par->vgastate.membase 0,655360
PARAM_VALUE 0 par->vgastate.memsize 0,65536
PARAM_VALUE 0 par->vgastate.num_attr 0,21
PARAM_VALUE 0 par->vgastate.num_crtc 0,25
PARAM_VALUE 0 par->vgastate.num_gfx 0,9
PARAM_VALUE 0 par->vgastate.num_seq 0,5
PARAM_VALUE 0 par->vgastate.vgabase 0
PARAM_VALUE 0 par->vgastate.vidstate 0
PARAM_VALUE 1 state 4096-ptr_max
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
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 par unit_byte
HALF_LOCKED2 &info->lock

drivers/video/fbdev/nvidia/nvidia.c nvidiafb_probe() -> nvidia_save_vga()

Type Parameter Key Value
PARAM_VALUE 0 par 4096-ptr_max
PARAM_VALUE 0 par->Architecture 4,16,32,48,64
PARAM_VALUE 0 par->CursorStart 32768-67010560
PARAM_VALUE 0 par->FbMapSize 0-67108864
PARAM_VALUE 0 par->FbStart 4096-ptr_max
PARAM_VALUE 0 par->FbUsableSize 0-66977792,4294393856-u32max
PARAM_VALUE 0 par->FpScale 0-1
PARAM_VALUE 0 par->REGS 4096-ptr_max
PARAM_VALUE 0 par->ScratchBufferSize 8192,16384
PARAM_VALUE 0 par->ScratchBufferStart 0-66969600,4294950912-u32max
PARAM_VALUE 0 par->pci_dev 4096-ptr_max
PARAM_VALUE 0 par->pci_dev->driver 4096-ptr_max
PARAM_VALUE 0 par->pci_dev->error_state 0-2,4-u32max
PARAM_VALUE 1 state 4096-ptr_max
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
BUF_SIZE 0 par->FbStart 1-s32max
BUF_SIZE 0 par->pci_dev (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,8064
FUZZY_MAX 0 par->FbMapSize 67108864
FUZZY_MAX 0 par->FpScale 1
FUZZY_MAX 0 par->ScratchBufferSize 16384
BIT_INFO 0 par->ScratchBufferSize 0x0,0x6000
HARD_MAX 0 par->FpScale 1
HARD_MAX 0 par->ScratchBufferSize 16384
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 par->Chipset 0-s32max
HOST_DATA 0 par->pci_dev->current_state 0-3[c]
UNITS 0 par unit_byte