Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/nfs/filelayout/filelayout.c filelayout_alloc_lseg() -> filelayout_check_layout()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | lo | 4096-ptr_max |
| PARAM_VALUE | 0 | lo->plh_block_lgets | 0 |
| PARAM_VALUE | 0 | lo->plh_inode | 4096-ptr_max |
| PARAM_VALUE | 0 | lo->plh_inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 1 | fl | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->commit_through_mds | 1 |
| PARAM_VALUE | 1 | fl->fh_array | 0,4096-ptr_max |
| PARAM_VALUE | 1 | fl->num_fh | 0-4096 |
| PARAM_VALUE | 1 | fl->stripe_type | 1-2 |
| PARAM_VALUE | 1 | fl->stripe_unit | 0,64-u32max |
| PARAM_VALUE | 2 | lgr | 4096-ptr_max |
| PARAM_VALUE | 2 | lgr->layoutp | 4096-ptr_max |
| PARAM_VALUE | 2 | lgr->range.iomode | 1-2 |
| PARAM_VALUE | 2 | lgr->range.length | 1-u64max |
| PARAM_VALUE | 2 | lgr->range.offset | 0-18446744073709551614 |
| PARAM_VALUE | 2 | lgr->seq_res.sr_slot | 0 |
| PARAM_VALUE | 2 | lgr->seq_res.sr_slot_ops | 797730032227581952,3787296142830129152 |
| PARAM_VALUE | 2 | lgr->status | (-10008) |
| PARAM_VALUE | 3 | gfp_flags | 3072,3136,3264,76992 |
| BUF_SIZE | 0 | lo | (-1),168 |
| BUF_SIZE | 0 | lo | (-1),168 |
| BUF_SIZE | 1 | fl | 160 |
| BUF_SIZE | 2 | lgr | 104 |
| CAPPED_DATA | 2 | lgr->range.length | 1 |
| DATA_SOURCE | 0 | lo | $0 |
| DATA_SOURCE | 1 | fl | r _kzalloc_noprof |
| DATA_SOURCE | 2 | lgr | $1 |
| DATA_SOURCE | 3 | gfp_flags | $2 |
| RX_PATH | |||
| NO_OVERFLOW_SIMPLE | 1 | fl->num_fh |