Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/block/drbd/drbd_nl.c drbd_nl_get_devices_dumpit() -> device_to_statistics()

Type Parameter Key Value
PARAM_VALUE 0 s 2126646840290717696
PARAM_VALUE 1 device 4096-ptr_max
CAPPED_DATA 1 device->state.disk 1
DATA_SOURCE 1 device r idr_get_next
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 rcu_read
HALF_LOCKED2 &nlk->nl_cb_mutex
TYPE_LOCK (struct netlink_sock)->nl_cb_mutex

drivers/block/drbd/drbd_nl.c notify_device_state() -> device_to_statistics()

Type Parameter Key Value
PARAM_VALUE 0 s 4195204197828063232
PARAM_VALUE 1 device 4096-ptr_max
PARAM_VALUE 1 device->vdisk->part0->bd_device.kobj.parent->sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 1 device->vdisk->part0->bd_device.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 1 device->vdisk->part0->bd_device.power.wakeirq->status 0-4294967295
PARAM_VALUE 1 device->vdisk->queue->mq_kobj->sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 1 device->vdisk->queue_kobj.sd->attr.open->nr_mmapped 0-4294967295
DATA_SOURCE 1 device $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &adm_ctx->resource->adm_mutex
HALF_LOCKED2 global &notification_mutex