Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/misc/eeprom/idt_89hpesx.c idt_probe() -> idt_check_dev()

Type Parameter Key Value
PARAM_VALUE 0 pdev 4096-ptr_max
PARAM_VALUE 0 pdev->client 4096-ptr_max
PARAM_VALUE 0 pdev->client->adapter 4096-ptr_max
PARAM_VALUE 0 pdev->client->adapter->algo 4096-ptr_max
PARAM_VALUE 0 pdev->client->adapter->algo->functionality 4096-ptr_max
PARAM_VALUE 0 pdev->client->debugfs 4096-u64max
PARAM_VALUE 0 pdev->client->dev.bus 0,4096-ptr_max
PARAM_VALUE 0 pdev->client->dev.devres_head.prev 4096-ptr_max
PARAM_VALUE 0 pdev->client->devres_group_id 4096-ptr_max
PARAM_VALUE 0 pdev->csr 0
PARAM_VALUE 0 pdev->iniccode 0,128
PARAM_VALUE 0 pdev->inicsrcmd 15
PARAM_VALUE 0 pdev->inieecmd 0,2
PARAM_VALUE 0 pdev->smb_mtx.dep_map->name 0-255
PARAM_VALUE 0 pdev->smb_mtx.first_waiter 0
PARAM_VALUE 0 pdev->smb_mtx.magic 4096-ptr_max
PARAM_VALUE 0 pdev->smb_mtx.osq.tail.counter 0
PARAM_VALUE 0 pdev->smb_mtx.owner.counter 0
PARAM_VALUE 0 pdev->smb_read 4013110834629410816,4624843051432005632,5477948674384535552,8766314932280586240
PARAM_VALUE 0 pdev->smb_write 647307300962660352,2506034978206605312,3674610893900414976,5396302458467504128
BUF_SIZE 0 pdev 208
DATA_SOURCE 0 pdev r idt_create_pdev
TERMINATED 0 pdev->node.name 1
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 pdev->client->irq