Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/video/fbdev/matrox/g450_pll.c __g450_setclk() -> g450_checkcache()

Type Parameter Key Value
PARAM_VALUE 0 minfo 4096-ptr_max
PARAM_VALUE 1 ci 4096-ptr_max
BUF_SIZE 0 minfo->capable.vxres (-1),56
BUF_SIZE 0 minfo->pcidev (-1),1-s32max
BUF_SIZE 1 ci 36
DATA_SOURCE 0 minfo $0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 minfo->bios.output.state 0-254
HOST_DATA 0 minfo->bios.version->vMaj 0-255
HOST_DATA 0 minfo->bios.version->vMin 0-255
HOST_DATA 0 minfo->bios.version->vRev 0-255
HOST_DATA 0 minfo->bios.version.vMin 0-15
HOST_DATA 0 minfo->hw.MXoptionReg 0-1073741823[c]
HOST_DATA 0 minfo->pcidev->current_state 0-3[c]
LOCK2 flags
LOCK2 0 &minfo->lock.DAC
HALF_LOCKED2 &minfo->altout.lock
TYPE_LOCK (struct matrox_fb_info)->lock.DAC