Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/mtd/ubi/attach.c scan_fast() -> destroy_ai()

Type Parameter Key Value
PARAM_VALUE 0 ai 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &ubi_devices_mutex
HALF_LOCKED2 global &mtd_table_mutex

drivers/mtd/ubi/attach.c scan_fast() -> destroy_ai()

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
BUF_SIZE 0 ai 192
CAPPED_DATA 0 ai 1
DATA_SOURCE 0 ai r alloc_ai
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 *ai->vidb->buffer 0-255
LOCK2 global &ubi_devices_mutex
HALF_LOCKED2 global &mtd_table_mutex

drivers/mtd/ubi/attach.c scan_fast() -> destroy_ai()

Type Parameter Key Value
PARAM_VALUE 0 ai 4096-ptr_max
PARAM_VALUE 0 ai->aeb_slab_cache 1-u64max
PARAM_VALUE 0 ai->alien.next 4096-ptr_max
PARAM_VALUE 0 ai->alien.next->next 4096-ptr_max
PARAM_VALUE 0 ai->alien.prev 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 4096-ptr_max
PARAM_VALUE 0 ai->corr.next->next 4096-ptr_max
PARAM_VALUE 0 ai->corr.prev 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->ech 0,16,4096-ptr_max
PARAM_VALUE 0 ai->erase.next 4096-ptr_max
PARAM_VALUE 0 ai->erase.next->next 4096-ptr_max
PARAM_VALUE 0 ai->erase.prev 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 4096-ptr_max
PARAM_VALUE 0 ai->fastmap.next->next 4096-ptr_max
PARAM_VALUE 0 ai->fastmap.prev 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 4096-ptr_max
PARAM_VALUE 0 ai->free.next->next 4096-ptr_max
PARAM_VALUE 0 ai->free.prev 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 0 ai->vidb 0,4096-ptr_max
BUF_SIZE 0 ai 192
BUF_SIZE 0 ai->ech 0-s32max,18446744071562067968-u64max
BUF_SIZE 0 ai->vidb (-1),16
CAPPED_DATA 0 ai 1
CAPPED_DATA 0 ai->aeb_slab_cache 1
CAPPED_DATA 0 ai->ech 1
CAPPED_DATA 0 ai->vidb 1
DATA_SOURCE 0 ai r alloc_ai
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 *ai->vidb->buffer 0-255
LOCK2 global &ubi_devices_mutex
HALF_LOCKED2 global &mtd_table_mutex

drivers/mtd/ubi/attach.c ubi_attach() -> destroy_ai()

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.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
BUF_SIZE 0 ai (-1),192
BUF_SIZE 0 ai (-1),192
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &ubi_devices_mutex
HALF_LOCKED2 global &mtd_table_mutex

drivers/mtd/ubi/attach.c ubi_attach() -> destroy_ai()

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
BUF_SIZE 0 ai 192
CAPPED_DATA 0 ai 1
DATA_SOURCE 0 ai r alloc_ai
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &ubi_devices_mutex
HALF_LOCKED2 global &mtd_table_mutex

drivers/mtd/ubi/attach.c ubi_attach() -> destroy_ai()

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
BUF_SIZE 0 ai 192
CAPPED_DATA 0 ai 1
DATA_SOURCE 0 ai r alloc_ai
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 ai->highest_vol_id
LOCK2 global &ubi_devices_mutex
HALF_LOCKED2 global &mtd_table_mutex

drivers/mtd/ubi/attach.c ubi_attach() -> destroy_ai()

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.next->prev 0,4096-ptr_max
PARAM_VALUE 0 ai->erase.prev->next 4096-ptr_max
PARAM_VALUE 0 ai->erase.prev->next->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
BUF_SIZE 0 ai (-1),192
BUF_SIZE 0 ai (-1),192
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 ai->highest_vol_id
LOCK2 global &ubi_devices_mutex
HALF_LOCKED2 global &mtd_table_mutex

drivers/mtd/ubi/attach.c ubi_attach() -> destroy_ai()

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.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
BUF_SIZE 0 ai (-1),192
BUF_SIZE 0 ai (-1),192
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 ai->highest_vol_id
LOCK2 global &ubi_devices_mutex
HALF_LOCKED2 global &mtd_table_mutex