Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/media/common/siano/smsdvb-main.c smsdvb_hotplug() -> sms_board_setup()

Type Parameter Key Value
PARAM_VALUE 0 coredev 4096-ptr_max
PARAM_VALUE 0 coredev->clients.next 4096-ptr_max
PARAM_VALUE 0 coredev->clients.next->next 4096-ptr_max
PARAM_VALUE 0 coredev->clients.next->prev 4096-ptr_max
PARAM_VALUE 0 coredev->clientslock.rlock.dep_map->name 0-255
PARAM_VALUE 0 coredev->ir.dev->dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 coredev->ir.dev->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 coredev->ir.dev->lirc_dev.kobj.parent->sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 coredev->ir.dev->lirc_dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 coredev->ir.dev->lirc_dev.power.wakeirq->status 0-4294967295
BUF_SIZE 0 coredev->common_buffer (-1),90112,180224,204800,409600,450560,1024000
BUF_SIZE 0 coredev->media_dev (-1),992
DATA_SOURCE 0 coredev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &g_smscore_deviceslock