Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/video/fbdev/via/viafbdev.c via_fb_pci_probe() -> viafb_init_proc()

Type Parameter Key Value
PARAM_VALUE 0 shared 4096-ptr_max
PARAM_VALUE 0 shared->i2c_26 0,4096-ptr_max
PARAM_VALUE 0 shared->i2c_26->adap 4096-ptr_max
PARAM_VALUE 0 shared->i2c_26->adap->algo->master_xfer 1-u64max
PARAM_VALUE 0 shared->i2c_26->adap->algo->xfer 1-u64max
PARAM_VALUE 0 shared->i2c_26->drivers.next 4096-ptr_max
PARAM_VALUE 0 shared->i2c_26->drivers.next->next 4096-ptr_max
PARAM_VALUE 0 shared->i2c_26->drivers.prev 4096-ptr_max
PARAM_VALUE 0 shared->i2c_26->drivers.prev->next 4096-ptr_max
PARAM_VALUE 0 shared->i2c_26->drivers.prev->prev 4096-ptr_max
PARAM_VALUE 0 shared->i2c_2C 0,4096-ptr_max
PARAM_VALUE 0 shared->i2c_2C->adap 4096-ptr_max
PARAM_VALUE 0 shared->i2c_2C->adap->algo->master_xfer 1-u64max
PARAM_VALUE 0 shared->i2c_2C->adap->algo->xfer 1-u64max
PARAM_VALUE 0 shared->i2c_2C->drivers.next 4096-ptr_max
PARAM_VALUE 0 shared->i2c_2C->drivers.next->next 4096-ptr_max
PARAM_VALUE 0 shared->i2c_2C->drivers.prev 4096-ptr_max
PARAM_VALUE 0 shared->i2c_2C->drivers.prev->next 4096-ptr_max
PARAM_VALUE 0 shared->i2c_2C->drivers.prev->prev 4096-ptr_max
PARAM_VALUE 0 shared->i2c_31 0,4096-ptr_max
PARAM_VALUE 0 shared->i2c_31->adap 4096-ptr_max
PARAM_VALUE 0 shared->i2c_31->adap->algo->master_xfer 1-u64max
PARAM_VALUE 0 shared->i2c_31->adap->algo->xfer 1-u64max
PARAM_VALUE 0 shared->i2c_31->drivers.next 4096-ptr_max
PARAM_VALUE 0 shared->i2c_31->drivers.next->next 4096-ptr_max
PARAM_VALUE 0 shared->i2c_31->drivers.prev 4096-ptr_max
PARAM_VALUE 0 shared->i2c_31->drivers.prev->next 4096-ptr_max
PARAM_VALUE 0 shared->i2c_31->drivers.prev->prev 4096-ptr_max
PARAM_VALUE 0 shared->vdev 2998591461883285504
PARAM_VALUE 0 shared->vdev->fbmem_len (-5),4194304,8388608,16777216,33554432,67108864
PARAM_VALUE 0 shared->vdev->pdev 4096-ptr_max
PARAM_VALUE 0 shared->vdev->port_cfg 7056734611785740288
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 shared unit_byte