Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/mtd/mtdswap.c mtdswap_scan_eblks() -> mtdswap_check_counts()

Type Parameter Key Value
PARAM_VALUE 0 d 4096-ptr_max
PARAM_VALUE 0 d->eb_data 1-u64max
PARAM_VALUE 0 d->mbd_dev 4096-ptr_max
PARAM_VALUE 0 d->mbd_dev->mtd 4096-ptr_max
PARAM_VALUE 0 d->mtd 4096-ptr_max
PARAM_VALUE 0 d->oob_buf 16,4096-ptr_max
PARAM_VALUE 0 d->page_buf 4096-ptr_max
PARAM_VALUE 0 d->page_data 1-u64max
PARAM_VALUE 0 d->pages_per_eblk 0-1048575
PARAM_VALUE 0 d->revmap 1-u64max
PARAM_VALUE 0 d->trees 4096-ptr_max
BUF_SIZE 0 d 264
BUF_SIZE 0 d->eb_data 0-s32max
BUF_SIZE 0 d->mbd_dev 352
BUF_SIZE 0 d->oob_buf 0-s32max
BUF_SIZE 0 d->page_buf 4096
BUF_SIZE 0 d->page_data 4
BUF_SIZE 0 d->revmap 4
CAPPED_DATA 0 d->eblks 1
CAPPED_DATA 0 d->spare_eblks 1
DATA_SOURCE 0 d $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &mtd_table_mutex