Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/jfs/jfs_dtree.c dtExtendPage() -> dtInsertEntry()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 4096-ptr_max |
| PARAM_VALUE | 0 | p->slot | 4096-ptr_max |
| PARAM_VALUE | 2 | key | 34187515382235136,2261531052733460480,3905163665802854400,5202146749829300224,6625582941868265472,6881976181989842944 |
| PARAM_VALUE | 3 | data | 2809460340431855616 |
| PARAM_VALUE | 4 | dtlock | 5017328870513917952 |
| PARAM_VALUE | 4 | *dtlock | 4096-ptr_max |
| BUF_SIZE | 0 | p | (-1),288 |
| BUF_SIZE | 0 | p | (-1),288 |
| CAPPED_DATA | 0 | p->header.freelist | 1 |
| CAPPED_DATA | 0 | p->header.maxslot | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &inode->i_rwsem |
fs/jfs/jfs_dtree.c dtInsert() -> dtInsertEntry()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 4096-ptr_max |
| PARAM_VALUE | 0 | p->header.freelist | (-128)-(-1),1-127 |
| PARAM_VALUE | 1 | index | s16min-s16max |
| PARAM_VALUE | 2 | key | 34187515382235136,2261531052733460480,3905163665802854400,5202146749829300224,6625582941868265472,6881976181989842944 |
| PARAM_VALUE | 2 | key->name | 16,4096-ptr_max |
| PARAM_VALUE | 2 | key->namlen | 0-s32max |
| PARAM_VALUE | 3 | data | 2809460340431855616 |
| PARAM_VALUE | 3 | data->leaf.ip | 0,4096-ptr_max |
| PARAM_VALUE | 4 | dtlock | 5666469875592404992 |
| PARAM_VALUE | 4 | *dtlock | 4096-ptr_max |
| BUF_SIZE | 0 | p | (-1),288 |
| BUF_SIZE | 0 | p | (-1),288 |
| DATA_SOURCE | 2 | key | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
fs/jfs/jfs_dtree.c dtSplitPage() -> dtInsertEntry()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 4096-ptr_max |
| PARAM_VALUE | 0 | p->header.freecnt | 123 |
| PARAM_VALUE | 0 | p->header.freelist | 5 |
| PARAM_VALUE | 0 | p->header.maxslot | 128 |
| PARAM_VALUE | 0 | p->header.next | 0 |
| PARAM_VALUE | 0 | p->header.nextindex | 0 |
| PARAM_VALUE | 0 | p->header.stblindex | 1 |
| PARAM_VALUE | 0 | p->slot | 4096-ptr_max |
| PARAM_VALUE | 1 | index | 0 |
| PARAM_VALUE | 2 | key | 34187515382235136,2261531052733460480,3905163665802854400,5202146749829300224,6001901339713241088,6625582941868265472,6881976181989842944 |
| PARAM_VALUE | 3 | data | 2809460340431855616 |
| PARAM_VALUE | 3 | data->leaf.ip->i_mapping->i_mmap_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 3 | data->leaf.ip->i_mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 3 | data->leaf.ip->i_sb->s_export_op->encode_fh | 0,2,1398972869330624512,1616549510479982592,2037984473558433792,2776440803454029824,3228746867770966016,3502492669594062848,3526768263295340544,3559173554394271744,5000850239487131648,5583386343686406144,5817357685191483392-s64max |
| PARAM_VALUE | 3 | data->leaf.ip->i_sb->s_export_op->fh_to_parent | 0,148606482432692224,436469935444291584,467281172929331200,529780027764285440,1092893949038768128,1556959531105513472,1608953577475584000,1649536479961075712,2404761408063094784,2970908329832960000,3511613614414655488-s64max |
| PARAM_VALUE | 3 | data->leaf.ip->i_sb->s_export_op->get_parent | 0,8931,264940071972966400,291591359766798336,565128213429456896,893189740598853632,1241177127089143808,1474696885321834496,1812477326828269568,1893665921928286208,2210088671756947456,2437012291923775488,2483979068402987008-s64max |
| PARAM_VALUE | 4 | dtlock | 3492716550450782208 |
| PARAM_VALUE | 4 | *dtlock | 4096-ptr_max |
| BUF_SIZE | 2 | key | (-1),16 |
| BUF_SIZE | 2 | key | (-1),16 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &inode->i_rwsem |
fs/jfs/jfs_dtree.c dtSplitPage() -> dtInsertEntry()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 4096-ptr_max |
| PARAM_VALUE | 0 | p->slot | 4096-ptr_max |
| PARAM_VALUE | 1 | index | s16min-s16max |
| PARAM_VALUE | 2 | key | 34187515382235136,2261531052733460480,3905163665802854400,5202146749829300224,6001901339713241088,6625582941868265472,6881976181989842944 |
| PARAM_VALUE | 3 | data | 2809460340431855616 |
| PARAM_VALUE | 3 | data->leaf.ip->i_mapping->i_mmap_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 3 | data->leaf.ip->i_mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 3 | data->leaf.ip->i_sb->s_export_op->encode_fh | 0,2,1398972869330624512,1616549510479982592,2037984473558433792,2776440803454029824,3228746867770966016,3502492669594062848,3526768263295340544,3559173554394271744,5000850239487131648,5583386343686406144,5817357685191483392-s64max |
| PARAM_VALUE | 3 | data->leaf.ip->i_sb->s_export_op->fh_to_parent | 0,148606482432692224,436469935444291584,467281172929331200,529780027764285440,1092893949038768128,1556959531105513472,1608953577475584000,1649536479961075712,2404761408063094784,2970908329832960000,3511613614414655488-s64max |
| PARAM_VALUE | 3 | data->leaf.ip->i_sb->s_export_op->get_parent | 0,8931,264940071972966400,291591359766798336,565128213429456896,893189740598853632,1241177127089143808,1474696885321834496,1812477326828269568,1893665921928286208,2210088671756947456,2437012291923775488,2483979068402987008-s64max |
| PARAM_VALUE | 4 | dtlock | 2010805211262005248 |
| PARAM_VALUE | 4 | *dtlock | 4096-ptr_max |
| BUF_SIZE | 0 | p | (-1),288 |
| BUF_SIZE | 0 | p | (-1),288 |
| BUF_SIZE | 2 | key | (-1),16 |
| BUF_SIZE | 2 | key | (-1),16 |
| CAPPED_DATA | 0 | p->header.nextindex | 1 |
| CAPPED_DATA | 1 | index | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &inode->i_rwsem |
fs/jfs/jfs_dtree.c dtSplitPage() -> dtInsertEntry()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 4096-ptr_max |
| PARAM_VALUE | 0 | p->header.stblindex | 1 |
| PARAM_VALUE | 0 | p->slot | 4096-ptr_max |
| PARAM_VALUE | 2 | key | 34187515382235136,2261531052733460480,3905163665802854400,5202146749829300224,6001901339713241088,6625582941868265472,6881976181989842944 |
| PARAM_VALUE | 3 | data | 2809460340431855616 |
| PARAM_VALUE | 3 | data->leaf.ip->i_mapping->i_mmap_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 3 | data->leaf.ip->i_mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 3 | data->leaf.ip->i_sb->s_export_op->encode_fh | 0,2,1398972869330624512,1616549510479982592,2037984473558433792,2776440803454029824,3228746867770966016,3502492669594062848,3526768263295340544,3559173554394271744,5000850239487131648,5583386343686406144,5817357685191483392-s64max |
| PARAM_VALUE | 3 | data->leaf.ip->i_sb->s_export_op->fh_to_parent | 0,148606482432692224,436469935444291584,467281172929331200,529780027764285440,1092893949038768128,1556959531105513472,1608953577475584000,1649536479961075712,2404761408063094784,2970908329832960000,3511613614414655488-s64max |
| PARAM_VALUE | 3 | data->leaf.ip->i_sb->s_export_op->get_parent | 0,8931,264940071972966400,291591359766798336,565128213429456896,893189740598853632,1241177127089143808,1474696885321834496,1812477326828269568,1893665921928286208,2210088671756947456,2437012291923775488,2483979068402987008-s64max |
| PARAM_VALUE | 4 | dtlock | 3492716550450782208 |
| PARAM_VALUE | 4 | *dtlock | 4096-ptr_max |
| BUF_SIZE | 2 | key | (-1),16 |
| BUF_SIZE | 2 | key | (-1),16 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &inode->i_rwsem |
fs/jfs/jfs_dtree.c dtSplitRoot() -> dtInsertEntry()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 4096-ptr_max |
| PARAM_VALUE | 0 | p->header.flag | 2,4 |
| PARAM_VALUE | 0 | p->header.next | 0 |
| PARAM_VALUE | 0 | p->header.prev | 0 |
| PARAM_VALUE | 0 | p->header.stblindex | 9 |
| PARAM_VALUE | 0 | p->slot | 4096-ptr_max |
| PARAM_VALUE | 2 | key | 34187515382235136,2261531052733460480,3905163665802854400,5202146749829300224,6001901339713241088,6625582941868265472,6881976181989842944 |
| PARAM_VALUE | 3 | data | 2809460340431855616 |
| PARAM_VALUE | 3 | data->leaf.ip->i_mapping->i_mmap_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 3 | data->leaf.ip->i_mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 3 | data->leaf.ip->i_sb->s_export_op->encode_fh | 0,2,1398972869330624512,1616549510479982592,2037984473558433792,2776440803454029824,3228746867770966016,3502492669594062848,3526768263295340544,3559173554394271744,5000850239487131648,5583386343686406144,5817357685191483392-s64max |
| PARAM_VALUE | 3 | data->leaf.ip->i_sb->s_export_op->fh_to_parent | 0,148606482432692224,436469935444291584,467281172929331200,529780027764285440,1092893949038768128,1556959531105513472,1608953577475584000,1649536479961075712,2404761408063094784,2970908329832960000,3511613614414655488-s64max |
| PARAM_VALUE | 3 | data->leaf.ip->i_sb->s_export_op->get_parent | 0,8931,264940071972966400,291591359766798336,565128213429456896,893189740598853632,1241177127089143808,1474696885321834496,1812477326828269568,1893665921928286208,2210088671756947456,2437012291923775488,2483979068402987008-s64max |
| PARAM_VALUE | 4 | dtlock | 1330046403771158528 |
| PARAM_VALUE | 4 | *dtlock | 4096-ptr_max |
| BUF_SIZE | 2 | key | (-1),16 |
| BUF_SIZE | 2 | key | (-1),16 |
| CAPPED_DATA | 0 | p->header.maxslot | 1 |
| FUZZY_MAX | 0 | p->header.flag | 4 |
| BIT_INFO | 0 | p->header.flag | 0x0,0x6 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &inode->i_rwsem |
fs/jfs/jfs_dtree.c dtSplitUp() -> dtInsertEntry()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 4096-ptr_max |
| PARAM_VALUE | 1 | index | (-32767)-32768 |
| PARAM_VALUE | 2 | key | 6001901339713241088 |
| PARAM_VALUE | 2 | key->name | 16,4096-ptr_max |
| PARAM_VALUE | 3 | data | 2809460340431855616 |
| PARAM_VALUE | 4 | dtlock | 3032537653955842048 |
| PARAM_VALUE | 4 | *dtlock | 4096-ptr_max |
| BUF_SIZE | 0 | p | (-1),288 |
| BUF_SIZE | 0 | p | (-1),288 |
| FUZZY_MAX | 1 | index | 2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |