format_chain identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/mtd/nftlmount.c NFTL_mount() -> format_chain()

Type	Parameter	Key	Value
PARAM_VALUE	0	nftl	4096-ptr_max
PARAM_VALUE	0	nftl->EUNtable	16,4096-ptr_max
PARAM_VALUE	0	nftl->ReplUnitTable	4096-ptr_max
PARAM_VALUE	0	nftl->mbd.devnum	(-1)
PARAM_VALUE	0	nftl->mbd.mtd	4096-ptr_max
PARAM_VALUE	0	nftl->mbd.size	0-u32max
PARAM_VALUE	0	nftl->mbd.tr	204429026254897152
PARAM_VALUE	0	nftl->mbd.tr->add_mtd	1544102290542915584
PARAM_VALUE	0	nftl->mbd.tr->background	0
PARAM_VALUE	0	nftl->mbd.tr->blksize	512
PARAM_VALUE	0	nftl->mbd.tr->discard	0
PARAM_VALUE	0	nftl->mbd.tr->flush	0
PARAM_VALUE	0	nftl->mbd.tr->getgeo	5647835407140880384
PARAM_VALUE	0	nftl->mbd.tr->major	0-s32max
PARAM_VALUE	0	nftl->mbd.tr->name	4569433337356677120
PARAM_VALUE	0	nftl->mbd.tr->open	0
PARAM_VALUE	0	nftl->mbd.tr->owner	0
PARAM_VALUE	0	nftl->mbd.tr->part_bits	4
PARAM_VALUE	0	nftl->mbd.tr->readsect	3992186238531739648
PARAM_VALUE	0	nftl->mbd.tr->release	0
PARAM_VALUE	0	nftl->mbd.tr->remove_dev	2415211884427198464
PARAM_VALUE	0	nftl->mbd.tr->writesect	3949933864581279744
PARAM_VALUE	0	nftl->nb_blocks	1-131070
PARAM_VALUE	0	nftl->nb_boot_blocks	0-u16max
PARAM_VALUE	1	first_block	0-131069
BUF_SIZE	0	nftl	456
BUF_SIZE	0	nftl->mbd.mtd	(-1),2448,2984
CAPPED_DATA	0	nftl->mbd.mtd	1
CAPPED_DATA	0	nftl->nb_blocks	1
CAPPED_DATA	1	first_block	1
DATA_SOURCE	0	nftl	$0
STR_LEN	0	nftl->mbd.mtd	(-1),18
STR_LEN	0	nftl->mbd.mtd->dev.driver_data	(-1)
STR_LEN	0	nftl->mbd.mtd->name	(-1)
STR_LEN	0	nftl->mbd.mtd->parent	(-1)
STR_LEN	0	nftl->mbd.tr	(-1),18
PARAM_COMPARE	1	first_block	< $0->nb_blocks
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	nftl->EraseSize
NO_OVERFLOW_SIMPLE	0	nftl->MediaUnit
NO_OVERFLOW_SIMPLE	0	nftl->SpareMediaUnit
NO_OVERFLOW_SIMPLE	0	nftl->mbd.mtd->erasesize
NO_OVERFLOW_SIMPLE	0	nftl->nb_blocks
NO_OVERFLOW_SIMPLE	1	first_block
LOCK2		global &mtd_table_mutex

drivers/mtd/nftlmount.c NFTL_mount() -> format_chain()

Type	Parameter	Key	Value
PARAM_VALUE	0	nftl	4096-ptr_max
PARAM_VALUE	0	nftl->EUNtable	16,4096-ptr_max
PARAM_VALUE	0	nftl->ReplUnitTable	4096-ptr_max
PARAM_VALUE	0	nftl->mbd.devnum	(-1)
PARAM_VALUE	0	nftl->mbd.mtd	4096-ptr_max
PARAM_VALUE	0	nftl->mbd.size	0-u32max
PARAM_VALUE	0	nftl->mbd.tr	204429026254897152
PARAM_VALUE	0	nftl->mbd.tr->add_mtd	1544102290542915584
PARAM_VALUE	0	nftl->mbd.tr->background	0
PARAM_VALUE	0	nftl->mbd.tr->blksize	512
PARAM_VALUE	0	nftl->mbd.tr->discard	0
PARAM_VALUE	0	nftl->mbd.tr->flush	0
PARAM_VALUE	0	nftl->mbd.tr->getgeo	5647835407140880384
PARAM_VALUE	0	nftl->mbd.tr->major	0-s32max
PARAM_VALUE	0	nftl->mbd.tr->name	4569433337356677120
PARAM_VALUE	0	nftl->mbd.tr->open	0
PARAM_VALUE	0	nftl->mbd.tr->owner	0
PARAM_VALUE	0	nftl->mbd.tr->part_bits	4
PARAM_VALUE	0	nftl->mbd.tr->readsect	3992186238531739648
PARAM_VALUE	0	nftl->mbd.tr->release	0
PARAM_VALUE	0	nftl->mbd.tr->remove_dev	2415211884427198464
PARAM_VALUE	0	nftl->mbd.tr->writesect	3949933864581279744
PARAM_VALUE	0	nftl->nb_blocks	1-131070
PARAM_VALUE	0	nftl->nb_boot_blocks	0-u16max
PARAM_VALUE	1	first_block	0-131069
BUF_SIZE	0	nftl	456
BUF_SIZE	0	nftl->mbd.mtd	(-1),2448,2984
CAPPED_DATA	0	nftl->mbd.mtd	1
CAPPED_DATA	0	nftl->nb_blocks	1
CAPPED_DATA	1	first_block	1
DATA_SOURCE	0	nftl	$0
FUZZY_MAX	0	nftl->nb_blocks	1
STR_LEN	0	nftl->mbd.mtd	(-1),18
STR_LEN	0	nftl->mbd.mtd->dev.driver_data	(-1)
STR_LEN	0	nftl->mbd.mtd->name	(-1)
STR_LEN	0	nftl->mbd.mtd->parent	(-1)
STR_LEN	0	nftl->mbd.tr	(-1),18
PARAM_COMPARE	1	first_block	< $0->nb_blocks
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	nftl->EraseSize
NO_OVERFLOW_SIMPLE	0	nftl->MediaUnit
NO_OVERFLOW_SIMPLE	0	nftl->SpareMediaUnit
NO_OVERFLOW_SIMPLE	0	nftl->mbd.mtd->erasesize
NO_OVERFLOW_SIMPLE	0	nftl->nb_blocks
NO_OVERFLOW_SIMPLE	1	first_block
LOCK2		global &mtd_table_mutex

drivers/mtd/nftlmount.c NFTL_mount() -> format_chain()

Type	Parameter	Key	Value
PARAM_VALUE	0	nftl	4096-ptr_max
PARAM_VALUE	0	nftl->EUNtable	4096-ptr_max
PARAM_VALUE	0	nftl->ReplUnitTable	4096-ptr_max
PARAM_VALUE	0	nftl->mbd.devnum	(-1)
PARAM_VALUE	0	nftl->mbd.mtd	4096-ptr_max
PARAM_VALUE	0	nftl->mbd.size	0-u32max
PARAM_VALUE	0	nftl->mbd.tr	204429026254897152
PARAM_VALUE	0	nftl->mbd.tr->add_mtd	1544102290542915584
PARAM_VALUE	0	nftl->mbd.tr->background	0
PARAM_VALUE	0	nftl->mbd.tr->blksize	512
PARAM_VALUE	0	nftl->mbd.tr->discard	0
PARAM_VALUE	0	nftl->mbd.tr->flush	0
PARAM_VALUE	0	nftl->mbd.tr->getgeo	5647835407140880384
PARAM_VALUE	0	nftl->mbd.tr->major	0-s32max
PARAM_VALUE	0	nftl->mbd.tr->name	4569433337356677120
PARAM_VALUE	0	nftl->mbd.tr->open	0
PARAM_VALUE	0	nftl->mbd.tr->owner	0
PARAM_VALUE	0	nftl->mbd.tr->part_bits	4
PARAM_VALUE	0	nftl->mbd.tr->readsect	3992186238531739648
PARAM_VALUE	0	nftl->mbd.tr->release	0
PARAM_VALUE	0	nftl->mbd.tr->remove_dev	2415211884427198464
PARAM_VALUE	0	nftl->mbd.tr->writesect	3949933864581279744
PARAM_VALUE	0	nftl->nb_blocks	1-131070
PARAM_VALUE	0	nftl->nb_boot_blocks	0-u16max
PARAM_VALUE	1	first_block	0-131069
BUF_SIZE	0	nftl	456
BUF_SIZE	0	nftl->mbd.mtd	(-1),2448,2984
CAPPED_DATA	0	nftl->mbd.mtd	1
CAPPED_DATA	0	nftl->nb_blocks	1
CAPPED_DATA	1	first_block	1
DATA_SOURCE	0	nftl	$0
FUZZY_MAX	0	nftl->nb_blocks	1
STR_LEN	0	nftl->mbd.mtd	(-1),18
STR_LEN	0	nftl->mbd.mtd->dev.driver_data	(-1)
STR_LEN	0	nftl->mbd.mtd->name	(-1)
STR_LEN	0	nftl->mbd.mtd->parent	(-1)
STR_LEN	0	nftl->mbd.tr	(-1),18
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	nftl->EraseSize
NO_OVERFLOW_SIMPLE	0	nftl->MediaUnit
NO_OVERFLOW_SIMPLE	0	nftl->SpareMediaUnit
NO_OVERFLOW_SIMPLE	0	nftl->mbd.mtd->erasesize
NO_OVERFLOW_SIMPLE	0	nftl->nb_blocks
NO_OVERFLOW_SIMPLE	1	first_block
LOCK2		global &mtd_table_mutex

drivers/mtd/inftlmount.c INFTL_mount() -> format_chain()

Type	Parameter	Key	Value
PARAM_VALUE	0	nftl	4096-ptr_max
PARAM_VALUE	0	nftl->MediaHdr.BlockMultiplierBits	0-1
PARAM_VALUE	0	nftl->MediaHdr.NoOfBDTLPartitions	1-u32max
PARAM_VALUE	0	nftl->PUtable	4096-ptr_max
PARAM_VALUE	0	nftl->VUtable	16,4096-ptr_max
PARAM_VALUE	0	nftl->instr.addr	0-u32max
PARAM_VALUE	0	nftl->instr.fail_addr	u64max
PARAM_VALUE	0	nftl->instr.len	0-u32max
PARAM_VALUE	0	nftl->mbd.devnum	(-1)
PARAM_VALUE	0	nftl->mbd.mtd	4096-ptr_max
PARAM_VALUE	0	nftl->mbd.size	0-u32max
PARAM_VALUE	0	nftl->mbd.tr	6796921757799104512
PARAM_VALUE	0	nftl->mbd.tr->add_mtd	7634399880854491136
PARAM_VALUE	0	nftl->mbd.tr->background	0
PARAM_VALUE	0	nftl->mbd.tr->blksize	512
PARAM_VALUE	0	nftl->mbd.tr->discard	0
PARAM_VALUE	0	nftl->mbd.tr->flush	0
PARAM_VALUE	0	nftl->mbd.tr->getgeo	1575400401045803008
PARAM_VALUE	0	nftl->mbd.tr->major	0-s32max
PARAM_VALUE	0	nftl->mbd.tr->name	1460556743244468224
PARAM_VALUE	0	nftl->mbd.tr->open	0
PARAM_VALUE	0	nftl->mbd.tr->owner	0
PARAM_VALUE	0	nftl->mbd.tr->part_bits	4
PARAM_VALUE	0	nftl->mbd.tr->readsect	5017586822155870208
PARAM_VALUE	0	nftl->mbd.tr->release	0
PARAM_VALUE	0	nftl->mbd.tr->remove_dev	1140733748735856640
PARAM_VALUE	0	nftl->mbd.tr->writesect	8636453807941865472
PARAM_VALUE	0	nftl->nb_blocks	0-s32max
PARAM_VALUE	0	*nftl->PUtable	65532
PARAM_VALUE	1	first_block	0-u16max
BUF_SIZE	0	nftl	592
BUF_SIZE	0	nftl->mbd.mtd	(-1),2448,2984
CAPPED_DATA	0	nftl->mbd.mtd	1
CAPPED_DATA	0	nftl->nb_blocks	1
CAPPED_DATA	1	first_block	1
DATA_SOURCE	0	nftl	$0
STR_LEN	0	nftl->mbd.mtd	(-1),18
STR_LEN	0	nftl->mbd.mtd->dev.driver_data	(-1)
STR_LEN	0	nftl->mbd.mtd->name	(-1)
STR_LEN	0	nftl->mbd.mtd->parent	(-1)
STR_LEN	0	nftl->mbd.tr	(-1),18
PARAM_COMPARE	1	first_block	<= $0->lastEUN
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	nftl->EraseSize
NO_OVERFLOW_SIMPLE	0	nftl->mbd.mtd->erasesize
NO_OVERFLOW_SIMPLE	0	nftl->nb_blocks
LOCK2		global &mtd_table_mutex

drivers/mtd/inftlmount.c INFTL_mount() -> format_chain()

Type	Parameter	Key	Value
PARAM_VALUE	0	nftl	4096-ptr_max
PARAM_VALUE	0	nftl->MediaHdr.BlockMultiplierBits	0-1
PARAM_VALUE	0	nftl->MediaHdr.NoOfBDTLPartitions	1-u32max
PARAM_VALUE	0	nftl->PUtable	4096-ptr_max
PARAM_VALUE	0	nftl->VUtable	4096-ptr_max
PARAM_VALUE	0	nftl->instr.addr	0-u32max
PARAM_VALUE	0	nftl->instr.fail_addr	u64max
PARAM_VALUE	0	nftl->instr.len	0-u32max
PARAM_VALUE	0	nftl->mbd.devnum	(-1)
PARAM_VALUE	0	nftl->mbd.mtd	4096-ptr_max
PARAM_VALUE	0	nftl->mbd.size	0-u32max
PARAM_VALUE	0	nftl->mbd.tr	6796921757799104512
PARAM_VALUE	0	nftl->mbd.tr->add_mtd	7634399880854491136
PARAM_VALUE	0	nftl->mbd.tr->background	0
PARAM_VALUE	0	nftl->mbd.tr->blksize	512
PARAM_VALUE	0	nftl->mbd.tr->discard	0
PARAM_VALUE	0	nftl->mbd.tr->flush	0
PARAM_VALUE	0	nftl->mbd.tr->getgeo	1575400401045803008
PARAM_VALUE	0	nftl->mbd.tr->major	0-s32max
PARAM_VALUE	0	nftl->mbd.tr->name	1460556743244468224
PARAM_VALUE	0	nftl->mbd.tr->open	0
PARAM_VALUE	0	nftl->mbd.tr->owner	0
PARAM_VALUE	0	nftl->mbd.tr->part_bits	4
PARAM_VALUE	0	nftl->mbd.tr->readsect	5017586822155870208
PARAM_VALUE	0	nftl->mbd.tr->release	0
PARAM_VALUE	0	nftl->mbd.tr->remove_dev	1140733748735856640
PARAM_VALUE	0	nftl->mbd.tr->writesect	8636453807941865472
PARAM_VALUE	0	nftl->nb_blocks	0-u16max
PARAM_VALUE	0	nftl->numvunits	1-u16max
PARAM_VALUE	0	*nftl->PUtable	65532
PARAM_VALUE	1	first_block	1-u32max
BUF_SIZE	0	nftl	592
BUF_SIZE	0	nftl->mbd.mtd	(-1),2448,2984
CAPPED_DATA	0	nftl->lastEUN	1
CAPPED_DATA	0	nftl->mbd.mtd	1
CAPPED_DATA	0	nftl->nb_blocks	1
DATA_SOURCE	0	nftl	$0
STR_LEN	0	nftl->mbd.mtd	(-1),18
STR_LEN	0	nftl->mbd.mtd->dev.driver_data	(-1)
STR_LEN	0	nftl->mbd.mtd->name	(-1)
STR_LEN	0	nftl->mbd.mtd->parent	(-1)
STR_LEN	0	nftl->mbd.tr	(-1),18
PARAM_COMPARE	0	nftl->nb_blocks	<= $0->numvunits
PARAM_COMPARE	1	first_block	> $0->lastEUN
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	nftl->EraseSize
NO_OVERFLOW_SIMPLE	0	nftl->mbd.mtd->erasesize
NO_OVERFLOW_SIMPLE	0	nftl->nb_blocks
LOCK2		global &mtd_table_mutex