Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/common/siano/smscoreapi.c smscore_register_hotplug() -> smscore_register_hotplug param 0()

Type Parameter Key Value
PARAM_VALUE 0 coredev 4096-1677857211705618431,1677857211705618433-ptr_max
PARAM_VALUE 2 arrival 1
LOCK2 global &g_smscore_deviceslock

drivers/media/common/siano/smscoreapi.c smscore_notify_callbacks() -> (struct smscore_device_notifyee_t)->hotplug()

Type Parameter Key Value
PARAM_VALUE 0 coredev 4096-ptr_max
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
PARAM_VALUE 1 device->devres_head.prev 4096-ptr_max
PARAM_VALUE 1 device->devres_head.prev->next 4096-ptr_max
PARAM_VALUE 1 device->devres_head.prev->next->next 4096-ptr_max
PARAM_VALUE 2 arrival 0-1
BUF_SIZE 0 coredev (-1),1736
BUF_SIZE 0 coredev (-1),1736
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
DATA_SOURCE 1 device $1
DATA_SOURCE 2 arrival $2
HARD_MAX 2 arrival 1
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &g_smscore_deviceslock