Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

block/partitions/ldm.c ldm_get_vblks() -> ldm_frag_commit()

Type Parameter Key Value
PARAM_VALUE 0 frags 734517616506667008
PARAM_VALUE 0 frags->next 734517616506667008
PARAM_VALUE 0 frags->prev 4096-ptr_max
PARAM_VALUE 1 ldb 4096-ptr_max
PARAM_VALUE 1 ldb->v_comp.next 4096-ptr_max
PARAM_VALUE 1 ldb->v_comp.next->next 4096-ptr_max
PARAM_VALUE 1 ldb->v_comp.prev 4096-ptr_max
PARAM_VALUE 1 ldb->v_comp.prev->next 4096-ptr_max
PARAM_VALUE 1 ldb->v_comp.prev->prev 4096-ptr_max
PARAM_VALUE 1 ldb->v_dgrp.next 4096-ptr_max
PARAM_VALUE 1 ldb->v_dgrp.next->next 4096-ptr_max
PARAM_VALUE 1 ldb->v_dgrp.prev 4096-ptr_max
PARAM_VALUE 1 ldb->v_dgrp.prev->next 4096-ptr_max
PARAM_VALUE 1 ldb->v_dgrp.prev->prev 4096-ptr_max
PARAM_VALUE 1 ldb->v_disk.next 4096-ptr_max
PARAM_VALUE 1 ldb->v_disk.next->next 4096-ptr_max
PARAM_VALUE 1 ldb->v_disk.prev 4096-ptr_max
PARAM_VALUE 1 ldb->v_disk.prev->next 4096-ptr_max
PARAM_VALUE 1 ldb->v_disk.prev->prev 4096-ptr_max
PARAM_VALUE 1 ldb->v_part.next 4096-ptr_max
PARAM_VALUE 1 ldb->v_part.next->next 4096-ptr_max
PARAM_VALUE 1 ldb->v_part.prev 4096-ptr_max
PARAM_VALUE 1 ldb->v_part.prev->next 4096-ptr_max
PARAM_VALUE 1 ldb->v_part.prev->prev 4096-ptr_max
PARAM_VALUE 1 ldb->v_volu.next 4096-ptr_max
PARAM_VALUE 1 ldb->v_volu.next->next 4096-ptr_max
PARAM_VALUE 1 ldb->v_volu.prev 4096-ptr_max
PARAM_VALUE 1 ldb->v_volu.prev->next 4096-ptr_max
PARAM_VALUE 1 ldb->v_volu.prev->prev 4096-ptr_max
PARAM_VALUE 1 ldb->vm.last_vblk_seq 0-255
PARAM_VALUE 1 ldb->vm.vblk_offset 0-255
PARAM_VALUE 1 ldb->vm.vblk_size 1-255
PARAM_VALUE 1 ldb->vm.ver_major 4
PARAM_VALUE 1 ldb->vm.ver_minor 10
BUF_SIZE 1 ldb 216
DATA_SOURCE 1 ldb $2
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &disk->open_mutex
HALF_LOCKED2 &hd->open_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct gendisk)->open_mutex