Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/mtd/ubi/attach.c ubi_add_to_av() -> add_volume()

Type Parameter Key Value
PARAM_VALUE 0 ai 4096-ptr_max
PARAM_VALUE 0 ai->alien.next->next 4096-ptr_max
PARAM_VALUE 0 ai->alien.prev->next 4096-ptr_max
PARAM_VALUE 0 ai->alien.prev->prev 4096-ptr_max
PARAM_VALUE 0 ai->corr.next->next 4096-ptr_max
PARAM_VALUE 0 ai->corr.prev->next 4096-ptr_max
PARAM_VALUE 0 ai->corr.prev->prev 4096-ptr_max
PARAM_VALUE 0 ai->erase.next->next 4096-ptr_max
PARAM_VALUE 0 ai->erase.prev->next 4096-ptr_max
PARAM_VALUE 0 ai->erase.prev->prev 4096-ptr_max
PARAM_VALUE 0 ai->fastmap.next->next 4096-ptr_max
PARAM_VALUE 0 ai->fastmap.prev->next 4096-ptr_max
PARAM_VALUE 0 ai->fastmap.prev->prev 4096-ptr_max
PARAM_VALUE 0 ai->free.next->next 4096-ptr_max
PARAM_VALUE 0 ai->free.prev->next 4096-ptr_max
PARAM_VALUE 0 ai->free.prev->prev 4096-ptr_max
PARAM_VALUE 1 vol_id 0-127,2147479551,2147479554-s32max
PARAM_VALUE 3 vid_hdr 4096-ptr_max
PARAM_VALUE 3 vid_hdr->compat 0-2,4-5
PARAM_VALUE 3 vid_hdr->data_pad 0-2147483646
PARAM_VALUE 3 vid_hdr->data_size 0-s32max
PARAM_VALUE 3 vid_hdr->lnum 0-s32max
PARAM_VALUE 3 vid_hdr->used_ebs 0-s32max
PARAM_VALUE 3 vid_hdr->vol_id 0-127,2147479551,2147479554-s32max
PARAM_VALUE 3 vid_hdr->vol_type 1-2
BUF_SIZE 0 ai (-1),192
BUF_SIZE 0 ai (-1),192
BUF_SIZE 0 ai->vidb (-1),16
CAPPED_DATA 0 ai 1
DATA_SOURCE 0 ai $1
DATA_SOURCE 2 pnum $2
DATA_SOURCE 3 vid_hdr $4
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 *ai->vidb->buffer 0-255
NO_OVERFLOW_SIMPLE 0 ai->aeb_slab_cache->object_size
NO_OVERFLOW_SIMPLE 2 pnum
UNITS 1 vol_id unit_array_size
UNITS 3 vid_hdr unit_byte
LOCK2 global &ubi_devices_mutex
HALF_LOCKED2 global &mtd_table_mutex