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/vmt.c self_check_volume() -> ubi_dump_vtbl_record()

Type Parameter Key Value
PARAM_VALUE 0 r 4096-ptr_max
PARAM_VALUE 1 idx 0-s32max
CAPPED_DATA 1 idx 1
DATA_SOURCE 1 idx $1
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &ubi->volumes_lock
HALF_LOCKED2 &ubi->device_mutex
HALF_LOCKED2 &ubi->device_mutex
HALF_LOCKED2 global &ubi_devices_mutex
TYPE_LOCK (struct ubi_device)->volumes_lock

drivers/mtd/ubi/vtbl.c vtbl_check() -> ubi_dump_vtbl_record()

Type Parameter Key Value
PARAM_VALUE 0 r 4096-ptr_max
PARAM_VALUE 1 idx 0-s32max
CAPPED_DATA 1 idx 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 idx unit_array_size
HALF_LOCKED2 global &ubi_devices_mutex

drivers/mtd/ubi/vtbl.c vtbl_check() -> ubi_dump_vtbl_record()

Type Parameter Key Value
PARAM_VALUE 0 r 4096-ptr_max
PARAM_VALUE 1 idx 0-s32max
CAPPED_DATA 1 idx 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 idx unit_array_size
HALF_LOCKED2 global &ubi_devices_mutex

drivers/mtd/ubi/vtbl.c vtbl_check() -> ubi_dump_vtbl_record()

Type Parameter Key Value
PARAM_VALUE 0 r 4096-ptr_max
PARAM_VALUE 1 idx s32min-2147483646
CAPPED_DATA 1 idx 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 idx unit_byte
HALF_LOCKED2 global &ubi_devices_mutex

drivers/mtd/ubi/vtbl.c vtbl_check() -> ubi_dump_vtbl_record()

Type Parameter Key Value
PARAM_VALUE 0 r 4096-ptr_max
PARAM_VALUE 1 idx 0-s32max
CAPPED_DATA 1 idx 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 idx unit_array_size
HALF_LOCKED2 global &ubi_devices_mutex