Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/block/drbd/drbd_main.c drbd_destroy_device() -> drbd_backing_dev_free()

Type Parameter Key Value
PARAM_VALUE 0 device 4096-ptr_max
PARAM_VALUE 0 device->request_timer.entry.pprev 0
PARAM_VALUE 0 device->request_timer.flags 0-4194302
PARAM_VALUE 0 device->request_timer.function 0
CAPPED_DATA 0 &device->request_timer 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/block/drbd/drbd_main.c drbd_device_cleanup() -> drbd_backing_dev_free()

Type Parameter Key Value
PARAM_VALUE 0 device 4096-ptr_max
PARAM_VALUE 0 device->al_writ_cnt 0
PARAM_VALUE 0 device->bitmap 0
PARAM_VALUE 0 device->bm_writ_cnt 0
PARAM_VALUE 0 device->p_size 0
PARAM_VALUE 0 device->read_cnt 0
PARAM_VALUE 0 device->recv_cnt 0
PARAM_VALUE 0 device->rs_failed 0
PARAM_VALUE 0 device->rs_last_events 0
PARAM_VALUE 0 device->rs_last_sect_ev 0
PARAM_VALUE 0 device->rs_mark_left 4096-ptr_max
PARAM_VALUE 0 device->rs_mark_time 4096-ptr_max
PARAM_VALUE 0 device->rs_start 0
PARAM_VALUE 0 device->rs_total 0
PARAM_VALUE 0 device->send_cnt 0
PARAM_VALUE 0 device->vdisk 4096-ptr_max
PARAM_VALUE 0 device->vdisk->part0 4096-ptr_max
PARAM_VALUE 0 device->vdisk->part0->bd_nr_sectors 0-18014398509481983
PARAM_VALUE 0 device->vdisk->part0->bd_size_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 device->writ_cnt 0
DATA_SOURCE 0 device $0
NOCHECK_CALL

drivers/block/drbd/drbd_worker.c drbd_ldev_destroy() -> drbd_backing_dev_free()

Type Parameter Key Value
PARAM_VALUE 0 device 4096-ptr_max
PARAM_VALUE 0 device->act_log 0
PARAM_VALUE 0 device->resync 0
DATA_SOURCE 0 device $0
NOCHECK_CALL