Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/mtd/ubi/kapi.c ubi_open_volume() -> ubi_check_volume()

Type Parameter Key Value
PARAM_VALUE 0 ubi 4096-ptr_max
PARAM_VALUE 0 ubi->ckvol_mutex.dep_map->name 0-255
PARAM_VALUE 0 ubi->ckvol_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 ubi->ckvol_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 ubi->ckvol_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 ubi->ckvol_mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 ubi->ckvol_mutex.wait_lock.owner (-1)
PARAM_VALUE 0 ubi->ckvol_mutex.wait_lock.owner_cpu u32max
PARAM_VALUE 0 ubi->is_dead 0
PARAM_VALUE 0 ubi->volumes 4096-ptr_max
PARAM_VALUE 0 ubi->volumes_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ubi->vtbl_slots 1-s32max
PARAM_VALUE 1 vol_id 0-2147483646
CAPPED_DATA 0 &ubi->ckvol_mutex 1
CAPPED_DATA 1 vol_id 1
DATA_SOURCE 0 ubi r ubi_get_device
DATA_SOURCE 1 vol_id $1
PARAM_COMPARE 0 ubi->vtbl_slots > $1
PARAM_COMPARE 1 vol_id < $0->vtbl_slots
NOSPEC 1 vol_id
NOSPEC 1 vol_id
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 vol_id 0-2147483646[c]
UNITS 1 vol_id unit_array_size
LOCK2 0 &ubi->ckvol_mutex
HALF_LOCKED2 &dev->dev_mutex
HALF_LOCKED2 &disk->open_mutex
HALF_LOCKED2 global &devices_mutex
TYPE_LOCK (struct ubi_device)->ckvol_mutex

drivers/mtd/ubi/cdev.c vol_cdev_write() -> ubi_check_volume()

Type Parameter Key Value
PARAM_VALUE 0 ubi->fm_eba_sem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 ubi->fm_eba_sem.first_waiter->type 0-1
PARAM_VALUE 0 ubi->fm_protect.first_waiter->handoff_set 0-1
PARAM_VALUE 0 ubi->fm_protect.first_waiter->type 0-1
PARAM_VALUE 0 ubi->work_sem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 ubi->work_sem.first_waiter->type 0-1
UNITS 1 vol_id unit_array_size