Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/jfs/jfs_dmap.c dbAlloc() -> dbAllocNext()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bmp | 4096-ptr_max |
| PARAM_VALUE | 0 | bmp->db_bmap.dn_agl2size | 0-s32max |
| PARAM_VALUE | 0 | bmp->db_bmap.dn_mapsize | (-9223372036854775806)-s64max |
| PARAM_VALUE | 2 | blkno | (-9223372036854775807)-0,2-9223372036854775806 |
| PARAM_VALUE | 3 | nblocks | 1-8192 |
| CAPPED_DATA | 2 | blkno | 1 |
| CAPPED_DATA | 2 | blkno | 1 |
| DATA_SOURCE | 3 | nblocks | $2 |
| PARAM_COMPARE | 2 | blkno | < $0->db_bmap.dn_mapsize |
| PARAM_COMPARE | 2 | blkno | < $0->db_bmap.dn_mapsize |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 3 | nblocks | 1-8192[c] |
| HALF_LOCKED2 | &imap->im_freelock |
fs/jfs/jfs_dmap.c dbExtend() -> dbAllocNext()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bmp | 4096-ptr_max |
| PARAM_VALUE | 0 | bmp->db_bmap.dn_mapsize | 2-s64max |
| PARAM_VALUE | 2 | blkno | s64min-9223372036854775806 |
| PARAM_VALUE | 3 | nblocks | 0-8192 |
| CAPPED_DATA | 2 | blkno | 1 |
| CAPPED_DATA | 2 | blkno | 1 |
| DATA_SOURCE | 3 | nblocks | $3 |
| PARAM_COMPARE | 0 | bmp->db_bmap.dn_mapsize | > $2 |
| PARAM_COMPARE | 2 | blkno | < $0->db_bmap.dn_mapsize |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &inode->i_rwsem |