Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 minfo 4096-ptr_max
PARAM_VALUE 1 pi 4096-ptr_max
PARAM_VALUE 2 fvco 4445047994177167360
PARAM_VALUE 3 mnp 0-16777215
BUF_SIZE 0 minfo->capable.vxres (-1),56
BUF_SIZE 0 minfo->pcidev (-1),1-s32max
BUF_SIZE 1 pi 8
DATA_SOURCE 0 minfo $0
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]
HALF_LOCKED2 &minfo->altout.lock

drivers/video/fbdev/matrox/g450_pll.c g450_firstpll() -> g450_nextpll()

Type Parameter Key Value
PARAM_VALUE 0 minfo 4096-ptr_max
PARAM_VALUE 1 pi 4096-ptr_max
PARAM_VALUE 2 fvco 4445047994177167360
PARAM_VALUE 3 mnp 16711680-16711683,16711744
BUF_SIZE 0 minfo->capable.vxres (-1),56
BUF_SIZE 1 pi 8
CAPPED_DATA 2 *fvco 1
DATA_SOURCE 0 minfo $0
DATA_SOURCE 1 pi $1
DATA_SOURCE 2 fvco $2
BIT_INFO 3 mnp 0xff0000,0xff007f
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]
HALF_LOCKED2 &minfo->altout.lock