Defined in 1 files as a function:
Referenced in 11 files:
- fs/9p/vfs_file.c
- fs/afs/flock.c
- fs/ceph/locks.c
- fs/dlm/plock.c
- fs/fuse/file.c, line 2576
- fs/gfs2/file.c
- fs/lockd/clntproc.c, line 498
- fs/locks.c, line 2324
- fs/nfs/file.c
- fs/ocfs2/locks.c
- fs/smb/client/file.c, line 2425
Smatch caller information:
fs/dlm/plock.c dlm_posix_lock() -> locks_lock_file_wait()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | filp | 4096-ptr_max |
| PARAM_VALUE | 0 | filp->f_cred->process_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | filp->f_cred->process_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | filp->f_cred->request_key_auth->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | filp->f_cred->request_key_auth->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | filp->f_cred->session_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | filp->f_cred->session_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | filp->f_cred->thread_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | filp->f_cred->thread_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | filp->f_inode->i_mapping->host->i_sb->s_export_op->encode_fh | 0,2,1398972869330624512,1616549510479982592,2037984473558433792,2776440803454029824,3228746867770966016,3502492669594062848,3526768263295340544,3559173554394271744,5000850239487131648,5583386343686406144,5817357685191483392-s64max |
| PARAM_VALUE | 0 | filp->f_inode->i_mapping->host->i_sb->s_export_op->fh_to_dentry | 0,8684,447817974243774464,687732489194512384,742201802719268864,868497899885588480,1471448175530500096,2021658383390310400,2445877819203563520,2512819722689847296,2649270699546726400,2761259683714371584,2893332316235677696-s64max |
| PARAM_VALUE | 0 | filp->f_inode->i_mapping->host->i_sb->s_export_op->fh_to_parent | 0,4672,148606482432692224,436469935444291584,457356038048772096,467281172929331200,529780027764285440,1092893949038768128,1556959531105513472,1608953577475584000,1649536479961075712,2404761408063094784,2970908329832960000-s64max |
| PARAM_VALUE | 0 | filp->f_inode->i_mapping->host->i_sb->s_export_op->get_parent | 0,8931,264940071972966400,291591359766798336,565128213429456896,893189740598853632,1241177127089143808,1474696885321834496,1812477326828269568,1893665921928286208,2210088671756947456,2437012291923775488,2483979068402987008-s64max |
| PARAM_VALUE | 0 | filp->f_inode->i_mapping->i_mmap_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | filp->f_inode->i_mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | filp->f_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | filp->f_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | filp->f_inode->i_sb->s_cop->inode_info_offs | 1632,1720,1808,2632,2648,2712 |
| PARAM_VALUE | 0 | filp->f_mapping | 4096-ptr_max |
| PARAM_VALUE | 0 | filp->f_mapping->host | 4096-ptr_max |
| PARAM_VALUE | 0 | filp->f_mapping->host->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | filp->f_mapping->host->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | filp->f_mapping->host->i_sb | 4096-ptr_max |
| PARAM_VALUE | 0 | filp->f_mapping->host->i_sb->s_export_op->fh_to_dentry | 0,8684,447817974243774464,687732489194512384,742201802719268864,868497899885588480,1471448175530500096,2021658383390310400,2445877819203563520,2512819722689847296,2649270699546726400,2761259683714371584,2893332316235677696-s64max |
| PARAM_VALUE | 0 | filp->f_op | 4096-ptr_max |
| PARAM_VALUE | 0 | filp->f_op->lock | 1-u64max |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_inode->i_mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_inode->i_sb->s_cop->inode_info_offs | 1632,1640,1720,1808,1816,2632,2640,2648,2704,2712 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_init | 0,2385819921126617088,7057831443282669568,7824184004865302528 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_iput | 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_manage | 0,1859587847549206528 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_prune | 0,2225594340392566784,7225953709177749504 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_real | 0,4509355519306412032 |
| PARAM_VALUE | 0 | filp->f_path.mnt->mnt_sb->s_export_op->flags | 0,127 |
| PARAM_VALUE | 1 | fl | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->c.flc_type | 0-1,3-255 |
| PARAM_VALUE | 1 | fl->fl_lmops | 0,4096-ptr_max |
| PARAM_VALUE | 1 | fl->fl_lmops->lm_grant | 0 |
| BUF_SIZE | 0 | filp | (-1)-s32max |
| BUF_SIZE | 0 | filp | (-1)-s32max |
| BUF_SIZE | 0 | filp->private_data | (-1),26 |
| BUF_SIZE | 1 | fl | (-1)-s32max |
| BUF_SIZE | 1 | fl | (-1)-s32max |
| BUF_SIZE | 1 | fl->c.flc_file | (-1)-s32max |
| BUF_SIZE | 1 | fl->fl_lmops | (-1),56 |
| DATA_SOURCE | 0 | filp | $2 |
| DATA_SOURCE | 1 | fl | $4 |
| BIT_INFO | 1 | fl->c.flc_flags | 0x1,0xffffffff |
| NOSPEC | 1 | fl->fl_start | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | fl->c.flc_type | 0-1 |
| USER_DATA | 1 | fl->fl_start | s64min-9223372036854775806[c][u] |
| NO_OVERFLOW_SIMPLE | 0 | filp->f_path.d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | filp->f_path.moved->d_inode->i_size | |
| HALF_LOCKED2 | &ls->ls_sem |
fs/dlm/plock.c dlm_posix_unlock() -> locks_lock_file_wait()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | filp | 4096-ptr_max |
| PARAM_VALUE | 0 | filp->f_cred->process_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | filp->f_cred->process_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | filp->f_cred->request_key_auth->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | filp->f_cred->request_key_auth->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | filp->f_cred->session_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | filp->f_cred->session_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | filp->f_cred->thread_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | filp->f_cred->thread_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | filp->f_inode->i_mapping->host->i_sb->s_export_op->encode_fh | 0,2,1398972869330624512,1616549510479982592,2037984473558433792,2776440803454029824,3228746867770966016,3502492669594062848,3526768263295340544,3559173554394271744,5000850239487131648,5583386343686406144,5817357685191483392-s64max |
| PARAM_VALUE | 0 | filp->f_inode->i_mapping->host->i_sb->s_export_op->fh_to_dentry | 0,8684,447817974243774464,687732489194512384,742201802719268864,868497899885588480,1471448175530500096,2021658383390310400,2445877819203563520,2512819722689847296,2649270699546726400,2761259683714371584,2893332316235677696-s64max |
| PARAM_VALUE | 0 | filp->f_inode->i_mapping->host->i_sb->s_export_op->fh_to_parent | 0,4672,148606482432692224,436469935444291584,457356038048772096,467281172929331200,529780027764285440,1092893949038768128,1556959531105513472,1608953577475584000,1649536479961075712,2404761408063094784,2970908329832960000-s64max |
| PARAM_VALUE | 0 | filp->f_inode->i_mapping->host->i_sb->s_export_op->get_parent | 0,8931,264940071972966400,291591359766798336,565128213429456896,893189740598853632,1241177127089143808,1474696885321834496,1812477326828269568,1893665921928286208,2210088671756947456,2437012291923775488,2483979068402987008-s64max |
| PARAM_VALUE | 0 | filp->f_inode->i_mapping->i_mmap_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | filp->f_inode->i_mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | filp->f_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | filp->f_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | filp->f_inode->i_sb->s_cop->inode_info_offs | 1632,1720,1808,2632,2648,2712 |
| PARAM_VALUE | 0 | filp->f_mapping | 4096-ptr_max |
| PARAM_VALUE | 0 | filp->f_mapping->host | 4096-ptr_max |
| PARAM_VALUE | 0 | filp->f_mapping->host->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | filp->f_mapping->host->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | filp->f_mapping->host->i_sb | 4096-ptr_max |
| PARAM_VALUE | 0 | filp->f_mapping->host->i_sb->s_export_op->fh_to_dentry | 0,8684,447817974243774464,687732489194512384,742201802719268864,868497899885588480,1471448175530500096,2021658383390310400,2445877819203563520,2512819722689847296,2649270699546726400,2761259683714371584,2893332316235677696-s64max |
| PARAM_VALUE | 0 | filp->f_op | 4096-ptr_max |
| PARAM_VALUE | 0 | filp->f_op->lock | 1-u64max |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_inode->i_mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_inode->i_sb->s_cop->inode_info_offs | 1632,1640,1720,1808,1816,2632,2640,2648,2704,2712 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_init | 0,2385819921126617088,7057831443282669568,7824184004865302528 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_iput | 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_manage | 0,1859587847549206528 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_prune | 0,2225594340392566784,7225953709177749504 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_real | 0,4509355519306412032 |
| PARAM_VALUE | 0 | filp->f_path.mnt->mnt_sb->s_export_op->flags | 0,127 |
| PARAM_VALUE | 1 | fl | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->fl_lmops->lm_grant | 0,6755173835644108800 |
| BUF_SIZE | 0 | filp | (-1)-s32max |
| BUF_SIZE | 0 | filp | (-1)-s32max |
| BUF_SIZE | 0 | filp->private_data | (-1),26 |
| BUF_SIZE | 1 | fl | (-1)-s32max |
| BUF_SIZE | 1 | fl | (-1)-s32max |
| BUF_SIZE | 1 | fl->c.flc_file | (-1)-s32max |
| BUF_SIZE | 1 | fl->c.flc_owner | (-1),1-s32max |
| BUF_SIZE | 1 | fl->fl_lmops | (-1),56 |
| DATA_SOURCE | 0 | filp | $2 |
| DATA_SOURCE | 1 | fl | $3 |
| BIT_INFO | 1 | fl->c.flc_flags | 0x11,0xffffffff |
| NOSPEC | 1 | fl->fl_start | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | fl->c.flc_type | 2 |
| USER_DATA | 1 | fl->fl_start | s64min-9223372036854775806[c][u] |
| NO_OVERFLOW_SIMPLE | 0 | filp->f_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | filp->f_path.d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | filp->f_path.dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | filp->f_path.moved->d_inode->i_size | |
| HALF_LOCKED2 | &ls->ls_sem |
fs/afs/flock.c afs_do_setlk() -> locks_lock_file_wait()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | filp | 4096-ptr_max |
| PARAM_VALUE | 0 | filp->f_inode->i_mapping->host->i_sb->s_export_op->encode_fh | 0,2,1398972869330624512,1616549510479982592,2037984473558433792,2776440803454029824,3228746867770966016,3502492669594062848,3526768263295340544,3559173554394271744,5000850239487131648,5583386343686406144,5817357685191483392-s64max |
| PARAM_VALUE | 0 | filp->f_inode->i_mapping->host->i_sb->s_export_op->fh_to_dentry | 0,8684,447817974243774464,687732489194512384,742201802719268864,868497899885588480,1471448175530500096,2021658383390310400,2445877819203563520,2512819722689847296,2649270699546726400,2761259683714371584,2893332316235677696-s64max |
| PARAM_VALUE | 0 | filp->f_inode->i_mapping->host->i_sb->s_export_op->fh_to_parent | 0,4672,148606482432692224,436469935444291584,457356038048772096,467281172929331200,529780027764285440,1092893949038768128,1556959531105513472,1608953577475584000,1649536479961075712,2404761408063094784,2970908329832960000-s64max |
| PARAM_VALUE | 0 | filp->f_inode->i_mapping->host->i_sb->s_export_op->get_parent | 0,8931,264940071972966400,291591359766798336,565128213429456896,893189740598853632,1241177127089143808,1474696885321834496,1812477326828269568,1893665921928286208,2210088671756947456,2437012291923775488,2483979068402987008-s64max |
| PARAM_VALUE | 0 | filp->f_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | filp->f_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | filp->f_inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 0 | filp->f_inode->i_sb->s_cop->inode_info_offs | 1632,1720,1808,2632,2648,2712 |
| PARAM_VALUE | 0 | filp->f_mapping->host->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | filp->f_mapping->host->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | filp->f_mapping->host->i_sb->s_export_op->fh_to_dentry | 0,8684,447817974243774464,687732489194512384,742201802719268864,868497899885588480,1471448175530500096,2021658383390310400,2445877819203563520,2512819722689847296,2649270699546726400,2761259683714371584,2893332316235677696-s64max |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_inode->i_mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_inode->i_sb->s_cop->inode_info_offs | 1632,1640,1720,1808,1816,2632,2640,2648,2704,2712 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_init | 0,2385819921126617088,7057831443282669568,7824184004865302528 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_iput | 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_manage | 0,1859587847549206528 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_prune | 0,2225594340392566784,7225953709177749504 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_real | 0,4509355519306412032 |
| PARAM_VALUE | 0 | filp->f_path.mnt->mnt_sb->s_export_op->flags | 0,127 |
| PARAM_VALUE | 0 | filp->private_data | 4096-ptr_max |
| PARAM_VALUE | 1 | fl | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->c.flc_type | 0-1,3-255 |
| PARAM_VALUE | 1 | fl->fl_ops | 1592659311910658048 |
| PARAM_VALUE | 1 | fl->fl_u.afs.state | 0-1 |
| BUF_SIZE | 0 | filp | (-1)-s32max |
| BUF_SIZE | 0 | filp | (-1)-s32max |
| BUF_SIZE | 0 | filp->private_data | (-1),26 |
| BUF_SIZE | 1 | fl | (-1)-s32max |
| BUF_SIZE | 1 | fl | (-1)-s32max |
| BUF_SIZE | 1 | fl->c.flc_file | (-1)-s32max |
| BUF_SIZE | 1 | fl->fl_lmops | (-1),56 |
| BUF_SIZE | 1 | fl->fl_ops | 16 |
| CAPPED_DATA | 1 | &fl->fl_u.afs.link | 1 |
| DATA_SOURCE | 0 | filp | $0 |
| DATA_SOURCE | 1 | fl | $1 |
| FUZZY_MAX | 1 | fl->fl_u.afs.state | 1 |
| BIT_INFO | 1 | fl->fl_u.afs.debug_id | 0x0,0x7fffffff |
| NOSPEC | 1 | fl->fl_start | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | fl->c.flc_type | 0-1 |
| USER_DATA | 1 | fl->fl_start | s64min-9223372036854775806[c][u] |
| NO_OVERFLOW_SIMPLE | 0 | filp->f_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | filp->f_path.d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | filp->f_path.dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | filp->f_path.moved->d_inode->i_size |
fs/afs/flock.c afs_do_unlk() -> locks_lock_file_wait()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | filp | 4096-ptr_max |
| PARAM_VALUE | 0 | filp->f_inode->i_mapping->host->i_sb->s_export_op->encode_fh | 0,2,1398972869330624512,1616549510479982592,2037984473558433792,2776440803454029824,3228746867770966016,3502492669594062848,3526768263295340544,3559173554394271744,5000850239487131648,5583386343686406144,5817357685191483392-s64max |
| PARAM_VALUE | 0 | filp->f_inode->i_mapping->host->i_sb->s_export_op->fh_to_dentry | 0,8684,447817974243774464,687732489194512384,742201802719268864,868497899885588480,1471448175530500096,2021658383390310400,2445877819203563520,2512819722689847296,2649270699546726400,2761259683714371584,2893332316235677696-s64max |
| PARAM_VALUE | 0 | filp->f_inode->i_mapping->host->i_sb->s_export_op->fh_to_parent | 0,4672,148606482432692224,436469935444291584,457356038048772096,467281172929331200,529780027764285440,1092893949038768128,1556959531105513472,1608953577475584000,1649536479961075712,2404761408063094784,2970908329832960000-s64max |
| PARAM_VALUE | 0 | filp->f_inode->i_mapping->host->i_sb->s_export_op->get_parent | 0,8931,264940071972966400,291591359766798336,565128213429456896,893189740598853632,1241177127089143808,1474696885321834496,1812477326828269568,1893665921928286208,2210088671756947456,2437012291923775488,2483979068402987008-s64max |
| PARAM_VALUE | 0 | filp->f_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | filp->f_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | filp->f_inode->i_sb->s_cop->inode_info_offs | 1632,1720,1808,2632,2648,2712 |
| PARAM_VALUE | 0 | filp->f_mapping | 4096-ptr_max |
| PARAM_VALUE | 0 | filp->f_mapping->host->i_io_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | filp->f_mapping->host->i_io_list.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | filp->f_mapping->host->i_io_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | filp->f_mapping->host->i_io_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | filp->f_mapping->host->i_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | filp->f_mapping->host->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | filp->f_mapping->host->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | filp->f_mapping->host->i_sb->s_export_op->fh_to_dentry | 0,8684,447817974243774464,687732489194512384,742201802719268864,868497899885588480,1471448175530500096,2021658383390310400,2445877819203563520,2512819722689847296,2649270699546726400,2761259683714371584,2893332316235677696-s64max |
| PARAM_VALUE | 0 | filp->f_mapping->host->i_wb->dwork->timer->entry.pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | filp->f_mapping->host->i_wb->dwork.work.entry.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | filp->f_mapping->host->i_wb->list_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | filp->f_mapping->host->i_wb->work_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | filp->f_op | 4096-ptr_max |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_inode->i_mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_inode->i_sb->s_cop->inode_info_offs | 1632,1640,1720,1808,1816,2632,2640,2648,2704,2712 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_init | 0,2385819921126617088,7057831443282669568,7824184004865302528 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_iput | 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_manage | 0,1859587847549206528 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_prune | 0,2225594340392566784,7225953709177749504 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_real | 0,4509355519306412032 |
| PARAM_VALUE | 0 | filp->f_path.mnt->mnt_sb->s_export_op->flags | 0,127 |
| PARAM_VALUE | 1 | fl | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->c.flc_type | 2 |
| BUF_SIZE | 0 | filp | (-1)-s32max |
| BUF_SIZE | 0 | filp | (-1)-s32max |
| BUF_SIZE | 0 | filp->private_data | (-1),26 |
| BUF_SIZE | 1 | fl | (-1)-s32max |
| BUF_SIZE | 1 | fl | (-1)-s32max |
| BUF_SIZE | 1 | fl->c.flc_file | (-1)-s32max |
| BUF_SIZE | 1 | fl->fl_lmops | (-1),56 |
| DATA_SOURCE | 0 | filp | $0 |
| DATA_SOURCE | 1 | fl | $1 |
| BIT_INFO | 1 | fl->fl_u.afs.debug_id | 0x0,0x7fffffff |
| NOSPEC | 1 | fl->fl_start | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | fl->c.flc_type | 2 |
| USER_DATA | 1 | fl->fl_start | s64min-9223372036854775806[c][u] |
| NO_OVERFLOW_SIMPLE | 0 | filp->f_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | filp->f_path.d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | filp->f_path.dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | filp->f_path.moved->d_inode->i_size |
fs/ceph/locks.c ceph_flock() -> locks_lock_file_wait()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | filp | 4096-ptr_max |
| PARAM_VALUE | 0 | filp->f_inode | 4096-ptr_max |
| PARAM_VALUE | 0 | filp->f_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | filp->f_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | filp->f_inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 0 | filp->f_inode->i_sb->s_fs_info | 4096-ptr_max |
| PARAM_VALUE | 0 | filp->f_inode->i_sb->s_fs_info->mount_state | s32min-3 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_inode->i_mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_init | 0,2385819921126617088,7057831443282669568,7824184004865302528 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_iput | 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_manage | 0,1859587847549206528 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_prune | 0,2225594340392566784,7225953709177749504 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_real | 0,4509355519306412032 |
| PARAM_VALUE | 0 | filp->f_path.mnt->mnt_sb->s_export_op->flags | 0,127 |
| PARAM_VALUE | 1 | fl | 6679205499366121472,8240022910925856768 |
| PARAM_VALUE | 1 | fl->c.flc_blocked_member.next | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->c.flc_blocked_member.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->c.flc_blocked_requests.next | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->c.flc_blocked_requests.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->c.flc_blocker | 0 |
| PARAM_VALUE | 1 | fl->c.flc_file | 0,4-u64max |
| PARAM_VALUE | 1 | fl->c.flc_flags | 2,66,130 |
| PARAM_VALUE | 1 | fl->c.flc_link.next | 0 |
| PARAM_VALUE | 1 | fl->c.flc_link.pprev | 0 |
| PARAM_VALUE | 1 | fl->c.flc_link_cpu | 0 |
| PARAM_VALUE | 1 | fl->c.flc_list.next | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->c.flc_list.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->c.flc_owner | 0,4-u64max |
| PARAM_VALUE | 1 | fl->c.flc_type | 2 |
| PARAM_VALUE | 1 | fl->c.flc_wait.head.next | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->c.flc_wait.head.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->fl_end | s64max |
| PARAM_VALUE | 1 | fl->fl_lmops | 0 |
| PARAM_VALUE | 1 | fl->fl_ops | 0 |
| PARAM_VALUE | 1 | fl->fl_start | 0 |
| PARAM_VALUE | 1 | fl->fl_u.afs.debug_id | 0 |
| PARAM_VALUE | 1 | fl->fl_u.afs.link.next | 0 |
| PARAM_VALUE | 1 | fl->fl_u.afs.link.prev | 0 |
| PARAM_VALUE | 1 | fl->fl_u.afs.state | 0 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode | 0 |
| PARAM_VALUE | 1 | fl->fl_u.nfs4_fl.owner | 0 |
| PARAM_VALUE | 1 | fl->fl_u.nfs_fl.list.next | 0 |
| PARAM_VALUE | 1 | fl->fl_u.nfs_fl.list.prev | 0 |
| PARAM_VALUE | 1 | fl->fl_u.nfs_fl.owner | 0 |
| PARAM_VALUE | 1 | fl->fl_u.nfs_fl.state | 0 |
| BUF_SIZE | 0 | filp | (-1),1-s32max |
| BUF_SIZE | 0 | filp | (-1),1-s32max |
| BUF_SIZE | 0 | filp->private_data | (-1),26 |
| DATA_SOURCE | 0 | filp | $0 |
| DATA_SOURCE | 1 | fl | $2 |
| BIT_INFO | 1 | fl->c.flc_flags | 0x2,0xffffffffffffffff |
| MEM_ZERO | 1 | fl | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | filp->f_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | filp->f_path.d_inode->i_size |
fs/ceph/locks.c ceph_flock() -> locks_lock_file_wait()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | filp | 4096-ptr_max |
| PARAM_VALUE | 0 | filp->f_inode | 4096-ptr_max |
| PARAM_VALUE | 0 | filp->f_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | filp->f_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | filp->f_inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 0 | filp->f_inode->i_sb->s_fs_info | 4096-ptr_max |
| PARAM_VALUE | 0 | filp->f_inode->i_sb->s_fs_info->mount_state | s32min-3 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_inode->i_mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_init | 0,2385819921126617088,7057831443282669568,7824184004865302528 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_iput | 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_manage | 0,1859587847549206528 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_prune | 0,2225594340392566784,7225953709177749504 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_real | 0,4509355519306412032 |
| PARAM_VALUE | 0 | filp->f_path.mnt->mnt_sb->s_export_op->flags | 0,127 |
| PARAM_VALUE | 1 | fl | 6679205499366121472,8240022910925856768 |
| PARAM_VALUE | 1 | fl->c.flc_blocked_member.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->c.flc_blocker | 0 |
| PARAM_VALUE | 1 | fl->c.flc_flags | 2,66,130 |
| PARAM_VALUE | 1 | fl->c.flc_link.next | 0 |
| PARAM_VALUE | 1 | fl->c.flc_link.next->pprev | 1-u64max |
| PARAM_VALUE | 1 | fl->c.flc_type | 0-1,3-255 |
| PARAM_VALUE | 1 | fl->fl_ops->fl_copy_lock | 67636532917895168,1613550966771412992,4094200782078414848,8793117865022787584 |
| PARAM_VALUE | 1 | fl->fl_ops->fl_release_private | 392013657116258304,2660890378042843136,4364947055673008128,7742426382536392704 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_count.counter | 0-s32max |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_data.a_ops->error_remove_folio | 0,373303432983703552,3650281484867371008,6933238642996355072,7934844886813757440 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_data.a_ops->is_dirty_writeback | 0,7518438349615988736,8867638692533350400 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_data.a_ops->is_partially_uptodate | 0,1933474595957665792,7182876493439184896 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_data.a_ops->swap_deactivate | 0,1546359495696728064,3888069641387622400,7359158453655175168,8604917376913055744 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_data.a_ops->swap_rw | 0,4986685196838862848,8487923053812363264 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_mapping->a_ops->error_remove_folio | 0,373303432983703552,3650281484867371008,6933238642996355072,7934844886813757440 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_mapping->a_ops->free_folio | 0,87018317492477952,1576041750683152384,3223952723663937536,4787850423793061888 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_mapping->a_ops->is_dirty_writeback | 0,7518438349615988736,8867638692533350400 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_mapping->a_ops->is_partially_uptodate | 0,1933474595957665792,7182876493439184896 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_mapping->a_ops->launder_folio | 0,122107076755599360,327075084911996928,858079631894568960,7268098942548045824 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_mapping->a_ops->swap_deactivate | 0,1546359495696728064,3888069641387622400,7359158453655175168,8604917376913055744 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_mapping->a_ops->swap_rw | 0,4986685196838862848,8487923053812363264 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_mapping->host->i_op->get_offset_ctx | 0,2606890545167454208 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_mapping->host->i_op->readlink | 0,1728600404483375104,2832489546165891072,2874824064778891264,3069732422725099520,4516337085607264256 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_mapping->host->i_op->sync_lazytime | 0,6951464784224747520 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_mapping->host->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_mapping->host->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_mapping->host->i_sb->dq_op->alloc_dquot | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_mapping->host->i_sb->s_bdev->bd_holder_ops->freeze | 7536128971011219456 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_mapping->host->i_sb->s_bdev->bd_holder_ops->sync | 8235259936313790464 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_mapping->host->i_sb->s_cop->empty_dir | 0,86,661756434209751040,4392966320616476672,5234023279986843648,8614756098313990144 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_mapping->host->i_sb->s_cop->get_context | 0,706,17350455714160640,4513809449498124288,5149251875611672576,7067778626864828416 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_mapping->host->i_sb->s_cop->inode_info_offs | 1632,1808,2632,2648,2712 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_mapping->host->i_sb->s_cop->set_context | 0,67,317457138841939968,3250154607523569664,5979066299606671360,6756104566897242112 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_mapping->host->i_sb->s_export_op->encode_fh | 0,2,4096-ptr_max |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_mapping->i_mmap_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_mapping->invalidate_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_mapping->invalidate_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_op->readlink | 0,1728600404483375104,2832489546165891072,2874824064778891264,3069732422725099520,4516337085607264256 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->__s_d_op->d_automount | 0,2908707185815040000,3401111987815645184,6746145930460459008,7190988915944083456,7386785427940065280,8018779550845526016 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->__s_d_op->d_dname | 0,716233247738060800,2056107418359259136,2102941272419614720,3721061892745007104,5585410052597575680,6720345164634435584,7931586599356526592 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->__s_d_op->d_init | 0,2385819921126617088,7057831443282669568,7824184004865302528 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->__s_d_op->d_iput | 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->__s_d_op->d_manage | 0,1859587847549206528 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->__s_d_op->d_prune | 0,2225594340392566784,7225953709177749504 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->__s_d_op->d_real | 0,4509355519306412032 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->__s_d_op->d_unalias_trylock | 0,6635409759016140800 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->__s_d_op->d_unalias_unlock | 0,6336447517789900800 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->__s_d_op->d_weak_revalidate | 0,1549882712720502784,5632434648052031488,5669063523602272256,7231033168839651328 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->dq_op->alloc_dquot | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->dq_op->get_inode_usage | 0,478478298702749696 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->dq_op->get_next_id | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->dq_op->get_reserved_space | 0,2714301432243118080,7480565811357794304 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_bdev->bd_holder_ops->freeze | 7536128971011219456 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_bdev->bd_holder_ops->mark_dead | 3524860355147841536 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_bdev->bd_holder_ops->sync | 8235259936313790464 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_cop->empty_dir | 0,86,4096-ptr_max |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_cop->get_context | 0,706,4096-ptr_max |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_cop->inode_info_offs | 1632,1640,1720,1808,1816,2632,2640,2648,2704,2712 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_cop->set_context | 0,67,4096-ptr_max |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_export_op->block_ops | 0,5961889059343175680 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_export_op->commit_metadata | 0,240803493533007872,5538665924712296448,6872150948047065088 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_export_op->encode_fh | 0,2,4096-ptr_max |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_export_op->flags | 0,127 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_export_op->get_name | 0,3053585434600701952,4446407003036676096,4451526262822047744,5730886654511411200 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_export_op->open | 0,631201664538705920,4233052046380007424 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_export_op->permission | 0,4382650131406278656,6192445826193477632 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_op->free_cached_objects | 0,1608608064889520128,2908075336534528000,7579570136908226560 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_op->freeze_super | 0,2519477815684136960 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_op->get_dquots | 0,923857830404186112,1651117494515085312,1702335611975081984,5677984871528976384,5868281143574761472,6238878744837341184 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_op->nr_cached_objects | 0,456927727844597760,2165740340428103680,6857875743730688000 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_op->quota_read | 0,1231493512506486784,5429134974858194944,6767320843600449536,8807892756092534784,9061218535664717824 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_op->quota_write | 0,1834231028351041536,5468135944504233984,6708629384185118720,8162305775088627712,8801674826347085824 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_op->remove_bdev | 0,4640431662171430912 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_op->report_error | 0,4072367486062256128 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_op->show_devname | 0,1010349334253707264,4405032975229669376,7670745387818385408,8380631456597626880 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_op->show_path | 0,1168827736746610688,4549358393651167232,6955726544838414336,7969778861266182144 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_op->show_stats | 0,506057586286567424,909742538172280832,5476998243496673280,7378982553835122688 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_op->thaw_super | 0,5766127971694489600 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_op->umount_begin | 0,1715867000213852160,2996636628827439104,6144602640128442368,6892802180082667520,7121838532207407104 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_qcop->get_dqblk | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_qcop->get_state | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_qcop->quota_sync | 0,1130962422595588096,2593409015288025088,7799822221866086400 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_qcop->set_dqblk | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_umount.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode->i_sb->s_umount.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | fl->fl_u.nfs4_fl.owner->ls_count.refs.counter | s32min-s32max |
| PARAM_VALUE | 1 | fl->fl_u.nfs4_fl.owner->ls_seqid.flags | 0-s32max |
| PARAM_VALUE | 1 | fl->fl_u.nfs_fl.owner->host->h_lock.rlock.dep_map->name | 0-255 |
| BUF_SIZE | 0 | filp | (-1),1-s32max |
| BUF_SIZE | 0 | filp | (-1),1-s32max |
| BUF_SIZE | 0 | filp->private_data | (-1),26 |
| DATA_SOURCE | 0 | filp | $0 |
| DATA_SOURCE | 1 | fl | $2 |
| MEM_ZERO | 1 | fl | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | filp->f_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | filp->f_path.d_inode->i_size |
fs/ceph/locks.c try_unlock_file() -> locks_lock_file_wait()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | filp | 4096-ptr_max |
| PARAM_VALUE | 0 | filp->f_inode->i_mapping->host->i_sb->s_export_op->encode_fh | 0,2,4096-ptr_max |
| PARAM_VALUE | 0 | filp->f_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | filp->f_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | filp->f_inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 0 | filp->f_inode->i_sb->s_cop->inode_info_offs | 1632,1720,1808,2632,2648,2712 |
| PARAM_VALUE | 0 | filp->f_inode->i_sb->s_fs_info | 4096-ptr_max |
| PARAM_VALUE | 0 | filp->f_inode->i_sb->s_fs_info->mount_state | s32min-3 |
| PARAM_VALUE | 0 | filp->f_mapping->host->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | filp->f_mapping->host->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_inode->i_mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_inode->i_sb->s_cop->inode_info_offs | 1632,1640,1720,1808,1816,2632,2640,2648,2704,2712 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_init | 0,2385819921126617088,7057831443282669568,7824184004865302528 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_iput | 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_manage | 0,1859587847549206528 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_prune | 0,2225594340392566784,7225953709177749504 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_real | 0,4509355519306412032 |
| PARAM_VALUE | 0 | filp->f_path.mnt->mnt_sb->s_export_op->flags | 0,127 |
| PARAM_VALUE | 1 | fl | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->c.flc_type | 2 |
| BUF_SIZE | 0 | filp | (-1)-s32max |
| BUF_SIZE | 0 | filp | (-1)-s32max |
| BUF_SIZE | 0 | filp->private_data | (-1),26 |
| BUF_SIZE | 1 | fl | (-1)-s32max |
| BUF_SIZE | 1 | fl | (-1)-s32max |
| BUF_SIZE | 1 | fl->c.flc_file | (-1)-s32max |
| BUF_SIZE | 1 | fl->fl_lmops | (-1),56 |
| DATA_SOURCE | 0 | filp | $0 |
| DATA_SOURCE | 1 | fl | $1 |
| BIT_INFO | 1 | fl->c.flc_flags | 0x10,0xffffffff |
| NOSPEC | 1 | fl->fl_start | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | fl->c.flc_type | 2 |
| USER_DATA | 1 | fl->fl_start | s64min-9223372036854775806[c][u] |
| NO_OVERFLOW_SIMPLE | 0 | filp->f_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | filp->f_path.d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | filp->f_path.dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | filp->f_path.moved->d_inode->i_size |
fs/nfs/file.c do_setlk() -> locks_lock_file_wait()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | filp | 4096-ptr_max |
| PARAM_VALUE | 0 | filp->f_inode->i_mapping->host->i_sb->s_export_op->encode_fh | 0,2,1398972869330624512,1616549510479982592,2037984473558433792,2776440803454029824,3228746867770966016,3502492669594062848,3526768263295340544,3559173554394271744,5000850239487131648,5583386343686406144,5817357685191483392-s64max |
| PARAM_VALUE | 0 | filp->f_inode->i_mapping->host->i_sb->s_export_op->fh_to_dentry | 0,8684,447817974243774464,687732489194512384,742201802719268864,868497899885588480,1471448175530500096,2021658383390310400,2445877819203563520,2512819722689847296,2649270699546726400,2761259683714371584,2893332316235677696-s64max |
| PARAM_VALUE | 0 | filp->f_inode->i_mapping->host->i_sb->s_export_op->fh_to_parent | 0,4672,148606482432692224,436469935444291584,457356038048772096,467281172929331200,529780027764285440,1092893949038768128,1556959531105513472,1608953577475584000,1649536479961075712,2404761408063094784,2970908329832960000-s64max |
| PARAM_VALUE | 0 | filp->f_inode->i_mapping->host->i_sb->s_export_op->get_parent | 0,8931,264940071972966400,291591359766798336,565128213429456896,893189740598853632,1241177127089143808,1474696885321834496,1812477326828269568,1893665921928286208,2210088671756947456,2437012291923775488,2483979068402987008-s64max |
| PARAM_VALUE | 0 | filp->f_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | filp->f_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | filp->f_inode->i_sb->s_cop->inode_info_offs | 1632,1720,1808,2632,2648,2712 |
| PARAM_VALUE | 0 | filp->f_mapping | 4096-ptr_max |
| PARAM_VALUE | 0 | filp->f_mapping->host | 4096-ptr_max |
| PARAM_VALUE | 0 | filp->f_mapping->host->i_io_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | filp->f_mapping->host->i_io_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | filp->f_mapping->host->i_io_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | filp->f_mapping->host->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | filp->f_mapping->host->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | filp->f_mapping->host->i_sb | 4096-ptr_max |
| PARAM_VALUE | 0 | filp->f_mapping->host->i_sb->s_cop->inode_info_offs | 1632,1720,1808,2632,2648 |
| PARAM_VALUE | 0 | filp->f_mapping->host->i_sb->s_export_op->encode_fh | 0,2,1398972869330624512,1616549510479982592,2037984473558433792 |
| PARAM_VALUE | 0 | filp->f_mapping->host->i_sb->s_export_op->fh_to_dentry | 0,8684,447817974243774464,687732489194512384,742201802719268864,868497899885588480,1471448175530500096,2021658383390310400,2445877819203563520,2512819722689847296,2649270699546726400,2761259683714371584,2893332316235677696-s64max |
| PARAM_VALUE | 0 | filp->f_mapping->host->i_sb->s_export_op->fh_to_parent | 0,148606482432692224,436469935444291584,467281172929331200,529780027764285440,1092893949038768128,1556959531105513472,1608953577475584000,1649536479961075712,2404761408063094784,2970908329832960000,3511613614414655488-s64max |
| PARAM_VALUE | 0 | filp->f_mapping->host->i_sb->s_export_op->get_parent | 0,264940071972966400,291591359766798336,565128213429456896,893189740598853632,1241177127089143808,1474696885321834496,1812477326828269568,1893665921928286208,2210088671756947456,2437012291923775488,2483979068402987008-s64max |
| PARAM_VALUE | 0 | filp->f_mapping->host->i_wb->dwork->timer->entry.pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | filp->f_mapping->host->i_wb->dwork.work.entry.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | filp->f_mapping->host->i_wb->list_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | filp->f_mapping->host->i_wb->work_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | filp->f_mapping->i_mmap_rwsem.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | filp->f_mapping->i_mmap_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | filp->f_mapping->i_mmap_rwsem.first_waiter->list.next | 2212933610777083904 |
| PARAM_VALUE | 0 | filp->f_mapping->i_mmap_rwsem.first_waiter->list.prev | 2212933610777083904 |
| PARAM_VALUE | 0 | filp->f_mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_inode->i_mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_inode->i_sb->s_cop->inode_info_offs | 1632,1640,1720,1808,1816,2632,2640,2648,2704,2712 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_init | 0,2385819921126617088,7057831443282669568,7824184004865302528 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_iput | 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_manage | 0,1859587847549206528 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_prune | 0,2225594340392566784,7225953709177749504 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_real | 0,4509355519306412032 |
| PARAM_VALUE | 0 | filp->f_path.mnt->mnt_sb->s_export_op->flags | 0,127 |
| PARAM_VALUE | 1 | fl | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->c.flc_type | 0-1,3-255 |
| BUF_SIZE | 0 | filp | (-1)-s32max |
| BUF_SIZE | 0 | filp | (-1)-s32max |
| BUF_SIZE | 0 | filp->private_data | (-1),26 |
| BUF_SIZE | 1 | fl | (-1)-s32max |
| BUF_SIZE | 1 | fl | (-1)-s32max |
| BUF_SIZE | 1 | fl->c.flc_file | (-1)-s32max |
| BUF_SIZE | 1 | fl->fl_lmops | (-1),56 |
| DATA_SOURCE | 0 | filp | $0 |
| DATA_SOURCE | 1 | fl | $2 |
| NOSPEC | 1 | fl->fl_start | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | fl->c.flc_type | 0-1 |
| USER_DATA | 1 | fl->fl_start | s64min-9223372036854775806[c][u] |
| NO_OVERFLOW_SIMPLE | 0 | filp->f_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | filp->f_mapping->host->i_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | filp->f_path.d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | filp->f_path.dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | filp->f_path.moved->d_inode->i_size |
fs/nfs/file.c do_unlk() -> locks_lock_file_wait()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | filp | 4096-ptr_max |
| PARAM_VALUE | 0 | filp->f_inode->i_mapping->host->i_sb->s_export_op->encode_fh | 0,2,1398972869330624512,1616549510479982592,2037984473558433792,2776440803454029824,3228746867770966016,3502492669594062848,3526768263295340544,3559173554394271744,5000850239487131648,5583386343686406144,5817357685191483392-s64max |
| PARAM_VALUE | 0 | filp->f_inode->i_mapping->host->i_sb->s_export_op->fh_to_dentry | 0,8684,447817974243774464,687732489194512384,742201802719268864,868497899885588480,1471448175530500096,2021658383390310400,2445877819203563520,2512819722689847296,2649270699546726400,2761259683714371584,2893332316235677696-s64max |
| PARAM_VALUE | 0 | filp->f_inode->i_mapping->host->i_sb->s_export_op->fh_to_parent | 0,4672,148606482432692224,436469935444291584,457356038048772096,467281172929331200,529780027764285440,1092893949038768128,1556959531105513472,1608953577475584000,1649536479961075712,2404761408063094784,2970908329832960000-s64max |
| PARAM_VALUE | 0 | filp->f_inode->i_mapping->host->i_sb->s_export_op->get_parent | 0,8931,264940071972966400,291591359766798336,565128213429456896,893189740598853632,1241177127089143808,1474696885321834496,1812477326828269568,1893665921928286208,2210088671756947456,2437012291923775488,2483979068402987008-s64max |
| PARAM_VALUE | 0 | filp->f_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | filp->f_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | filp->f_inode->i_sb->s_cop->inode_info_offs | 1632,1720,1808,2632,2648,2712 |
| PARAM_VALUE | 0 | filp->f_mapping | 4096-ptr_max |
| PARAM_VALUE | 0 | filp->f_mapping->host | 4096-ptr_max |
| PARAM_VALUE | 0 | filp->f_mapping->host->i_mapping->nrpages | 0-1 |
| PARAM_VALUE | 0 | filp->f_mapping->host->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | filp->f_mapping->host->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | filp->f_mapping->host->i_sb | 4096-ptr_max |
| PARAM_VALUE | 0 | filp->f_mapping->host->i_sb->s_export_op->fh_to_dentry | 0,8684,447817974243774464,687732489194512384,742201802719268864,868497899885588480,1471448175530500096,2021658383390310400,2445877819203563520,2512819722689847296,2649270699546726400,2761259683714371584,2893332316235677696-s64max |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_inode->i_mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_inode->i_sb->s_cop->inode_info_offs | 1632,1640,1720,1808,1816,2632,2640,2648,2704,2712 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_init | 0,2385819921126617088,7057831443282669568,7824184004865302528 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_iput | 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_manage | 0,1859587847549206528 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_prune | 0,2225594340392566784,7225953709177749504 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_real | 0,4509355519306412032 |
| PARAM_VALUE | 0 | filp->f_path.mnt->mnt_sb->s_export_op->flags | 0,127 |
| PARAM_VALUE | 1 | fl | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->c.flc_type | 2 |
| BUF_SIZE | 0 | filp | (-1)-s32max |
| BUF_SIZE | 0 | filp | (-1)-s32max |
| BUF_SIZE | 0 | filp->private_data | (-1),26 |
| BUF_SIZE | 1 | fl | (-1)-s32max |
| BUF_SIZE | 1 | fl | (-1)-s32max |
| BUF_SIZE | 1 | fl->c.flc_file | (-1)-s32max |
| BUF_SIZE | 1 | fl->fl_lmops | (-1),56 |
| DATA_SOURCE | 0 | filp | $0 |
| DATA_SOURCE | 1 | fl | $2 |
| NOSPEC | 1 | fl->fl_start | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | fl->c.flc_type | 2 |
| USER_DATA | 1 | fl->fl_start | s64min-9223372036854775806[c][u] |
| NO_OVERFLOW_SIMPLE | 0 | filp->f_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | filp->f_path.d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | filp->f_path.dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | filp->f_path.moved->d_inode->i_size |
fs/smb/client/file.c cifs_setlk() -> locks_lock_file_wait()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | filp | 4096-ptr_max |
| PARAM_VALUE | 0 | filp->f_inode->i_mapping->host->i_sb->s_export_op->encode_fh | 0,2,1398972869330624512,1616549510479982592,2037984473558433792,2776440803454029824,3228746867770966016,3502492669594062848,3526768263295340544,3559173554394271744,5000850239487131648,5583386343686406144,5817357685191483392-s64max |
| PARAM_VALUE | 0 | filp->f_inode->i_mapping->host->i_sb->s_export_op->fh_to_dentry | 0,8684,447817974243774464,687732489194512384,742201802719268864,868497899885588480,1471448175530500096,2021658383390310400,2445877819203563520,2512819722689847296,2649270699546726400,2761259683714371584,2893332316235677696-s64max |
| PARAM_VALUE | 0 | filp->f_inode->i_mapping->host->i_sb->s_export_op->fh_to_parent | 0,4672,148606482432692224,436469935444291584,457356038048772096,467281172929331200,529780027764285440,1092893949038768128,1556959531105513472,1608953577475584000,1649536479961075712,2404761408063094784,2970908329832960000-s64max |
| PARAM_VALUE | 0 | filp->f_inode->i_mapping->host->i_sb->s_export_op->get_parent | 0,8931,264940071972966400,291591359766798336,565128213429456896,893189740598853632,1241177127089143808,1474696885321834496,1812477326828269568,1893665921928286208,2210088671756947456,2437012291923775488,2483979068402987008-s64max |
| PARAM_VALUE | 0 | filp->f_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | filp->f_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | filp->f_inode->i_sb->s_cop->inode_info_offs | 1632,1720,1808,2632,2648,2712 |
| PARAM_VALUE | 0 | filp->f_mapping->host->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | filp->f_mapping->host->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | filp->f_mapping->host->i_sb->s_export_op->fh_to_dentry | 0,8684,447817974243774464,687732489194512384,742201802719268864,868497899885588480,1471448175530500096,2021658383390310400,2445877819203563520,2512819722689847296,2649270699546726400,2761259683714371584,2893332316235677696-s64max |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_inode->i_mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_inode->i_sb->s_cop->inode_info_offs | 1632,1640,1720,1808,1816,2632,2640,2648,2704,2712 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_init | 0,2385819921126617088,7057831443282669568,7824184004865302528 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_iput | 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_manage | 0,1859587847549206528 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_prune | 0,2225594340392566784,7225953709177749504 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_real | 0,4509355519306412032 |
| PARAM_VALUE | 0 | filp->f_path.mnt->mnt_sb->s_export_op->flags | 0,127 |
| PARAM_VALUE | 0 | filp->private_data | 4096-ptr_max |
| PARAM_VALUE | 1 | fl | 4096-ptr_max |
| BUF_SIZE | 0 | filp | (-1)-s32max |
| BUF_SIZE | 0 | filp | (-1)-s32max |
| BUF_SIZE | 0 | filp->private_data | (-1),26 |
| BUF_SIZE | 1 | fl | (-1)-s32max |
| BUF_SIZE | 1 | fl | (-1)-s32max |
| BUF_SIZE | 1 | fl->c.flc_file | (-1)-s32max |
| BUF_SIZE | 1 | fl->fl_lmops | (-1),56 |
| DATA_SOURCE | 0 | filp | $0 |
| DATA_SOURCE | 1 | fl | $1 |
| NOSPEC | 1 | fl->fl_start | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | fl->c.flc_type | 0-2 |
| USER_DATA | 1 | fl->fl_start | s64min-9223372036854775806[c][u] |
| NO_OVERFLOW_SIMPLE | 0 | filp->f_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | filp->f_path.d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | filp->f_path.dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | filp->f_path.moved->d_inode->i_size |
fs/lockd/clntproc.c do_vfs_lock() -> locks_lock_file_wait()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | fl | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->fl_lmops->lm_expire_lock | 0,8135569178967285760 |
| PARAM_VALUE | 1 | fl->fl_lmops->lm_get_owner | 601293288964460544,779917719904358400 |
| PARAM_VALUE | 1 | fl->fl_lmops->lm_grant | 0,6755173835644108800 |
| PARAM_VALUE | 1 | fl->fl_lmops->lm_lock_expirable | 0,6876519118932000768 |
| PARAM_VALUE | 1 | fl->fl_lmops->lm_mod_owner | 0 |
| PARAM_VALUE | 1 | fl->fl_lmops->lm_notify | 7826183627361755136,8433928438555447296 |
| PARAM_VALUE | 1 | fl->fl_lmops->lm_put_owner | 2080181080880410624,4520729263436308480 |
| PARAM_VALUE | 1 | fl->fl_ops->fl_copy_lock | 8793117865022787584 |
| PARAM_VALUE | 1 | fl->fl_ops->fl_release_private | 392013657116258304 |
| BUF_SIZE | 0 | filp | (-1),1-s32max |
| BUF_SIZE | 0 | filp | (-1),1-s32max |
| BUF_SIZE | 1 | fl->c.flc_file | (-1),1-s32max |
| BUF_SIZE | 1 | fl->c.flc_owner | (-1),1-s32max |
| BUF_SIZE | 1 | fl->fl_lmops | (-1),56 |
| DATA_SOURCE | 1 | fl | $0 |
| NOSPEC | 1 | fl->fl_start | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | fl->c.flc_type | 0-1 |
| USER_DATA | 1 | fl->fl_start | s64min-s64max[c] |
| UNITS | 0 | filp | unit_byte |
| HALF_LOCKED2 | &host->h_rwsem |
fs/locks.c __do_sys_flock() -> locks_lock_file_wait()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | filp | 0,4-u64max |
| PARAM_VALUE | 1 | fl | 6679205499366121472 |
| PARAM_VALUE | 1 | fl->c.flc_blocker | 0 |
| PARAM_VALUE | 1 | fl->c.flc_file | 0,4-u64max |
| PARAM_VALUE | 1 | fl->c.flc_flags | 2,130 |
| PARAM_VALUE | 1 | fl->c.flc_link.next | 0 |
| PARAM_VALUE | 1 | fl->c.flc_link.pprev | 0 |
| PARAM_VALUE | 1 | fl->c.flc_owner | 0,4-u64max |
| PARAM_VALUE | 1 | fl->c.flc_type | 0-2 |
| PARAM_VALUE | 1 | fl->c.flc_wait.head.next | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->c.flc_wait.head.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->fl_end | s64max |
| PARAM_VALUE | 1 | fl->fl_lmops | 0 |
| PARAM_VALUE | 1 | fl->fl_ops | 0 |
| PARAM_VALUE | 1 | fl->fl_start | 0 |
| PARAM_VALUE | 1 | fl->fl_u.afs.debug_id | 0 |
| PARAM_VALUE | 1 | fl->fl_u.afs.link.next | 0 |
| PARAM_VALUE | 1 | fl->fl_u.nfs_fl.owner | 0 |
| MEM_ZERO | 1 | fl |
fs/locks.c __do_sys_flock() -> locks_lock_file_wait()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | filp | 0,4-u64max |
| PARAM_VALUE | 1 | fl | 6679205499366121472 |
| PARAM_VALUE | 1 | fl->c.flc_blocker | 0 |
| PARAM_VALUE | 1 | fl->c.flc_file | 0,4-u64max |
| PARAM_VALUE | 1 | fl->c.flc_flags | 2,130 |
| PARAM_VALUE | 1 | fl->c.flc_link.next | 0 |
| PARAM_VALUE | 1 | fl->c.flc_link.pprev | 0 |
| PARAM_VALUE | 1 | fl->c.flc_owner | 0,4-u64max |
| PARAM_VALUE | 1 | fl->c.flc_type | 0-2 |
| PARAM_VALUE | 1 | fl->c.flc_wait.head.next | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->c.flc_wait.head.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->fl_end | s64max |
| PARAM_VALUE | 1 | fl->fl_lmops | 0 |
| PARAM_VALUE | 1 | fl->fl_ops | 0 |
| PARAM_VALUE | 1 | fl->fl_start | 0 |
| PARAM_VALUE | 1 | fl->fl_u.afs.debug_id | 0 |
| PARAM_VALUE | 1 | fl->fl_u.afs.link.next | 0 |
| PARAM_VALUE | 1 | fl->fl_u.nfs_fl.owner | 0 |
| MEM_ZERO | 1 | fl |
fs/gfs2/file.c do_flock() -> locks_lock_file_wait()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | filp | 4096-ptr_max |
| PARAM_VALUE | 0 | filp->f_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | filp->f_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_inode->i_mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_inode->i_sb->s_cop->inode_info_offs | 1632,1720,2632,2648 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_init | 0,2385819921126617088,7057831443282669568,7824184004865302528 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_iput | 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_manage | 0,1859587847549206528 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_prune | 0,2225594340392566784,7225953709177749504 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_real | 0,4509355519306412032 |
| PARAM_VALUE | 0 | filp->f_path.mnt->mnt_sb->s_export_op->flags | 0,127 |
| PARAM_VALUE | 1 | fl | 4764603349229797376 |
| PARAM_VALUE | 1 | fl->c.flc_blocker | 0 |
| PARAM_VALUE | 1 | fl->c.flc_file | 0 |
| PARAM_VALUE | 1 | fl->c.flc_flags | 2 |
| PARAM_VALUE | 1 | fl->c.flc_link.next | 0 |
| PARAM_VALUE | 1 | fl->c.flc_link.pprev | 0 |
| PARAM_VALUE | 1 | fl->c.flc_owner | 0 |
| PARAM_VALUE | 1 | fl->c.flc_pid | 0 |
| PARAM_VALUE | 1 | fl->c.flc_type | 2 |
| PARAM_VALUE | 1 | fl->c.flc_wait.head.next | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->c.flc_wait.head.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->fl_end | 0 |
| PARAM_VALUE | 1 | fl->fl_lmops | 0 |
| PARAM_VALUE | 1 | fl->fl_ops | 0 |
| PARAM_VALUE | 1 | fl->fl_start | 0 |
| PARAM_VALUE | 1 | fl->fl_u.afs.debug_id | 0 |
| PARAM_VALUE | 1 | fl->fl_u.afs.link.next | 0 |
| PARAM_VALUE | 1 | fl->fl_u.nfs_fl.owner | 0 |
| DATA_SOURCE | 0 | filp | $0 |
| MEM_ZERO | 1 | fl | |
| RX_PATH | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | filp->f_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | filp->f_path.d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | filp->f_path.dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | filp->f_path.moved->d_inode->i_size | |
| LOCK2 | &fp->f_fl_mutex | ||
| TYPE_LOCK | (struct gfs2_file)->f_fl_mutex |
fs/gfs2/file.c do_flock() -> locks_lock_file_wait()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | filp | 4096-ptr_max |
| PARAM_VALUE | 0 | filp->f_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | filp->f_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | filp->f_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_inode->i_mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_inode->i_sb->s_cop->inode_info_offs | 1632,1720,2632,2648 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_init | 0,2385819921126617088,7057831443282669568,7824184004865302528 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_iput | 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_manage | 0,1859587847549206528 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_prune | 0,2225594340392566784,7225953709177749504 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_real | 0,4509355519306412032 |
| PARAM_VALUE | 0 | filp->f_path.mnt->mnt_sb->s_export_op->flags | 0,127 |
| PARAM_VALUE | 1 | fl | 6679205499366121472,8240022910925856768 |
| PARAM_VALUE | 1 | fl->c.flc_blocker | 0 |
| PARAM_VALUE | 1 | fl->c.flc_file | 0,4-u64max |
| PARAM_VALUE | 1 | fl->c.flc_flags | 2,130 |
| PARAM_VALUE | 1 | fl->c.flc_link.next | 0 |
| PARAM_VALUE | 1 | fl->c.flc_link.pprev | 0 |
| PARAM_VALUE | 1 | fl->c.flc_link_cpu | 0 |
| PARAM_VALUE | 1 | fl->c.flc_owner | 0,4-u64max |
| PARAM_VALUE | 1 | fl->c.flc_type | 0-1 |
| PARAM_VALUE | 1 | fl->c.flc_wait.head.next | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->c.flc_wait.head.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->fl_end | s64max |
| PARAM_VALUE | 1 | fl->fl_lmops | 0 |
| PARAM_VALUE | 1 | fl->fl_ops | 0 |
| PARAM_VALUE | 1 | fl->fl_start | 0 |
| PARAM_VALUE | 1 | fl->fl_u.afs.debug_id | 0 |
| PARAM_VALUE | 1 | fl->fl_u.afs.link.next | 0 |
| PARAM_VALUE | 1 | fl->fl_u.afs.link.prev | 0 |
| PARAM_VALUE | 1 | fl->fl_u.afs.state | 0 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode | 0 |
| PARAM_VALUE | 1 | fl->fl_u.nfs4_fl.owner | 0 |
| PARAM_VALUE | 1 | fl->fl_u.nfs_fl.list.next | 0 |
| PARAM_VALUE | 1 | fl->fl_u.nfs_fl.list.prev | 0 |
| PARAM_VALUE | 1 | fl->fl_u.nfs_fl.owner | 0 |
| PARAM_VALUE | 1 | fl->fl_u.nfs_fl.state | 0 |
| DATA_SOURCE | 0 | filp | $0 |
| DATA_SOURCE | 1 | fl | $2 |
| BIT_INFO | 1 | fl->c.flc_flags | 0x2,0xffffffffffffffff |
| MEM_ZERO | 1 | fl | |
| RX_PATH | |||
| NO_OVERFLOW_SIMPLE | 0 | filp->f_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | filp->f_path.d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | filp->f_path.dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | filp->f_path.moved->d_inode->i_size | |
| LOCK2 | &fp->f_fl_mutex | ||
| TYPE_LOCK | (struct gfs2_file)->f_fl_mutex |
fs/gfs2/file.c do_unflock() -> locks_lock_file_wait()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | filp | 4096-ptr_max |
| PARAM_VALUE | 0 | filp->f_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | filp->f_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_inode->i_mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_inode->i_sb->s_cop->inode_info_offs | 1632,1640,1720,1808,1816,2632,2640,2648,2704,2712 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_init | 0,2385819921126617088,7057831443282669568,7824184004865302528 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_iput | 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_manage | 0,1859587847549206528 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_prune | 0,2225594340392566784,7225953709177749504 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_real | 0,4509355519306412032 |
| PARAM_VALUE | 0 | filp->f_path.mnt->mnt_sb->s_export_op->flags | 0,127 |
| PARAM_VALUE | 1 | fl | 6679205499366121472,8240022910925856768 |
| PARAM_VALUE | 1 | fl->c.flc_blocker | 0 |
| PARAM_VALUE | 1 | fl->c.flc_file | 0,4-u64max |
| PARAM_VALUE | 1 | fl->c.flc_flags | 2,66,130 |
| PARAM_VALUE | 1 | fl->c.flc_link.next | 0 |
| PARAM_VALUE | 1 | fl->c.flc_link.pprev | 0 |
| PARAM_VALUE | 1 | fl->c.flc_link_cpu | 0 |
| PARAM_VALUE | 1 | fl->c.flc_owner | 0,4-u64max |
| PARAM_VALUE | 1 | fl->c.flc_type | 2 |
| PARAM_VALUE | 1 | fl->c.flc_wait.head.next | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->c.flc_wait.head.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->fl_end | s64max |
| PARAM_VALUE | 1 | fl->fl_lmops | 0 |
| PARAM_VALUE | 1 | fl->fl_ops | 0 |
| PARAM_VALUE | 1 | fl->fl_start | 0 |
| PARAM_VALUE | 1 | fl->fl_u.afs.debug_id | 0 |
| PARAM_VALUE | 1 | fl->fl_u.afs.link.next | 0 |
| PARAM_VALUE | 1 | fl->fl_u.afs.link.prev | 0 |
| PARAM_VALUE | 1 | fl->fl_u.afs.state | 0 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode | 0 |
| PARAM_VALUE | 1 | fl->fl_u.nfs4_fl.owner | 0 |
| PARAM_VALUE | 1 | fl->fl_u.nfs_fl.list.next | 0 |
| PARAM_VALUE | 1 | fl->fl_u.nfs_fl.list.prev | 0 |
| PARAM_VALUE | 1 | fl->fl_u.nfs_fl.owner | 0 |
| PARAM_VALUE | 1 | fl->fl_u.nfs_fl.state | 0 |
| BUF_SIZE | 0 | filp->private_data | (-1),26 |
| DATA_SOURCE | 0 | filp | $0 |
| DATA_SOURCE | 1 | fl | $1 |
| BIT_INFO | 1 | fl->c.flc_flags | 0x2,0xffffffffffffffff |
| MEM_ZERO | 1 | fl | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | filp->f_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | filp->f_path.d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | filp->f_path.dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | filp->f_path.moved->d_inode->i_size | |
| LOCK2 | &fp->f_fl_mutex | ||
| TYPE_LOCK | (struct gfs2_file)->f_fl_mutex |
fs/gfs2/file.c gfs2_lock() -> locks_lock_file_wait()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | filp | 4096-ptr_max |
| PARAM_VALUE | 0 | filp->f_inode->i_mapping->host->i_sb->s_export_op->encode_fh | 0,2,1398972869330624512,1616549510479982592,2037984473558433792,2776440803454029824,3228746867770966016,3502492669594062848,3526768263295340544,3559173554394271744,5000850239487131648,5583386343686406144,5817357685191483392-s64max |
| PARAM_VALUE | 0 | filp->f_inode->i_mapping->host->i_sb->s_export_op->fh_to_dentry | 0,447817974243774464,687732489194512384,742201802719268864,868497899885588480,1471448175530500096,2021658383390310400,2445877819203563520,2512819722689847296,2649270699546726400,2761259683714371584,2893332316235677696-s64max |
| PARAM_VALUE | 0 | filp->f_inode->i_mapping->host->i_sb->s_export_op->fh_to_parent | 0,4672,148606482432692224,436469935444291584,457356038048772096,467281172929331200,529780027764285440,1092893949038768128,1556959531105513472,1608953577475584000,1649536479961075712,2404761408063094784,2970908329832960000-s64max |
| PARAM_VALUE | 0 | filp->f_inode->i_mapping->host->i_sb->s_export_op->get_parent | 0,8931,264940071972966400,291591359766798336,565128213429456896,893189740598853632,1241177127089143808,1474696885321834496,1812477326828269568,1893665921928286208,2210088671756947456,2437012291923775488,2483979068402987008-s64max |
| PARAM_VALUE | 0 | filp->f_inode->i_mapping->i_mmap_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | filp->f_inode->i_mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | filp->f_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | filp->f_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | filp->f_mapping | 4096-ptr_max |
| PARAM_VALUE | 0 | filp->f_mapping->host | 4096-ptr_max |
| PARAM_VALUE | 0 | filp->f_mapping->host->i_mapping->i_mmap_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | filp->f_mapping->host->i_mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | filp->f_mapping->host->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | filp->f_mapping->host->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | filp->f_mapping->host->i_sb | 4096-ptr_max |
| PARAM_VALUE | 0 | filp->f_mapping->host->i_sb->s_cop->empty_dir | 0,86,661756434209751040,4392966320616476672,5234023279986843648,8614756098313990144 |
| PARAM_VALUE | 0 | filp->f_mapping->host->i_sb->s_cop->get_context | 0,706,17350455714160640,4513809449498124288,5149251875611672576,7067778626864828416 |
| PARAM_VALUE | 0 | filp->f_mapping->host->i_sb->s_cop->inode_info_offs | 1632,1720,1808,2632,2648,2704,2712 |
| PARAM_VALUE | 0 | filp->f_mapping->host->i_sb->s_cop->set_context | 0,67,317457138841939968,3250154607523569664,5979066299606671360,6756104566897242112 |
| PARAM_VALUE | 0 | filp->f_mapping->host->i_sb->s_export_op->fh_to_dentry | 0,447817974243774464,687732489194512384,742201802719268864,868497899885588480,1471448175530500096,2021658383390310400,2445877819203563520,2512819722689847296,2649270699546726400,2761259683714371584,2893332316235677696-s64max |
| PARAM_VALUE | 0 | filp->f_op | 4096-ptr_max |
| PARAM_VALUE | 0 | filp->f_op->lock | 1-u64max |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_inode->i_mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_inode->i_sb->s_cop->inode_info_offs | 1632,1640,1720,1808,1816,2632,2640,2648,2704,2712 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_init | 0,2385819921126617088,7057831443282669568,7824184004865302528 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_iput | 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_manage | 0,1859587847549206528 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_prune | 0,2225594340392566784,7225953709177749504 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_real | 0,4509355519306412032 |
| PARAM_VALUE | 0 | filp->f_path.mnt->mnt_sb->s_export_op->flags | 0,127 |
| PARAM_VALUE | 1 | fl | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->c.flc_type | 2 |
| BUF_SIZE | 0 | filp | (-1)-s32max |
| BUF_SIZE | 0 | filp | (-1)-s32max |
| BUF_SIZE | 0 | filp->private_data | (-1),26 |
| BUF_SIZE | 1 | fl | (-1),256 |
| BUF_SIZE | 1 | fl | (-1),256 |
| BUF_SIZE | 1 | fl->fl_lmops | (-1),56 |
| DATA_SOURCE | 0 | filp | $0 |
| DATA_SOURCE | 1 | fl | $2 |
| BIT_INFO | 1 | fl->c.flc_flags | 0x1,0xffffffffffffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | fl->c.flc_type | 2 |
| USER_DATA | 1 | fl->fl_start | s64min-9223372036854775806[c][u] |
| NO_OVERFLOW_SIMPLE | 0 | filp->f_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | filp->f_path.d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | filp->f_path.dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | filp->f_path.moved->d_inode->i_size |
fs/ocfs2/locks.c ocfs2_do_flock() -> locks_lock_file_wait()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | filp | 4096-ptr_max |
| PARAM_VALUE | 0 | filp->f_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | filp->f_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | filp->f_mapping | 4096-ptr_max |
| PARAM_VALUE | 0 | filp->f_mapping->host | 4096-ptr_max |
| PARAM_VALUE | 0 | filp->f_mapping->host->i_sb | 4096-ptr_max |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_inode->i_mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_inode->i_sb->s_cop->inode_info_offs | 1632,1720,2632,2648 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_init | 0,2385819921126617088,7057831443282669568,7824184004865302528 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_iput | 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_manage | 0,1859587847549206528 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_prune | 0,2225594340392566784,7225953709177749504 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_real | 0,4509355519306412032 |
| PARAM_VALUE | 0 | filp->f_path.mnt->mnt_sb->s_export_op->flags | 0,127 |
| PARAM_VALUE | 1 | fl | 5836561812308766720 |
| PARAM_VALUE | 1 | fl->c.flc_blocker | 0 |
| PARAM_VALUE | 1 | fl->c.flc_file | 0 |
| PARAM_VALUE | 1 | fl->c.flc_flags | 2 |
| PARAM_VALUE | 1 | fl->c.flc_link.next | 0 |
| PARAM_VALUE | 1 | fl->c.flc_link.pprev | 0 |
| PARAM_VALUE | 1 | fl->c.flc_owner | 0 |
| PARAM_VALUE | 1 | fl->c.flc_pid | 0 |
| PARAM_VALUE | 1 | fl->c.flc_type | 2 |
| PARAM_VALUE | 1 | fl->c.flc_wait.head.next | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->c.flc_wait.head.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->fl_end | 0 |
| PARAM_VALUE | 1 | fl->fl_lmops | 0 |
| PARAM_VALUE | 1 | fl->fl_ops | 0 |
| PARAM_VALUE | 1 | fl->fl_start | 0 |
| PARAM_VALUE | 1 | fl->fl_u.afs.debug_id | 0 |
| PARAM_VALUE | 1 | fl->fl_u.afs.link.next | 0 |
| PARAM_VALUE | 1 | fl->fl_u.nfs_fl.owner | 0 |
| DATA_SOURCE | 0 | filp | $0 |
| MEM_ZERO | 1 | fl | |
| RX_PATH | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | filp->f_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | filp->f_path.d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | filp->f_path.dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | filp->f_path.moved->d_inode->i_size | |
| LOCK2 | &fp->fp_mutex | ||
| TYPE_LOCK | (struct ocfs2_file_private)->fp_mutex |
fs/ocfs2/locks.c ocfs2_do_flock() -> locks_lock_file_wait()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | filp | 4096-ptr_max |
| PARAM_VALUE | 0 | filp->f_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | filp->f_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | filp->f_mapping | 4096-ptr_max |
| PARAM_VALUE | 0 | filp->f_mapping->host | 4096-ptr_max |
| PARAM_VALUE | 0 | filp->f_mapping->host->i_sb | 4096-ptr_max |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_inode->i_mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_inode->i_sb->s_cop->inode_info_offs | 1632,1720,2632,2648 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_init | 0,2385819921126617088,7057831443282669568,7824184004865302528 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_iput | 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_manage | 0,1859587847549206528 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_prune | 0,2225594340392566784,7225953709177749504 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_real | 0,4509355519306412032 |
| PARAM_VALUE | 0 | filp->f_path.mnt->mnt_sb->s_export_op->flags | 0,127 |
| PARAM_VALUE | 0 | filp->private_data | 4096-ptr_max |
| PARAM_VALUE | 0 | filp->private_data->fp_flock.l_action | 0,2 |
| PARAM_VALUE | 0 | filp->private_data->fp_flock.l_level | (-128)-0 |
| PARAM_VALUE | 0 | filp->private_data->fp_flock.l_lksb.lksb_fsdlm.sb_status | s32min-s32max |
| PARAM_VALUE | 0 | filp->private_data->fp_flock.l_lksb.lksb_o2dlm.flags | 0-4294967295 |
| PARAM_VALUE | 0 | filp->private_data->fp_flock.l_lksb.lksb_o2dlm.lockid->ast | 0-s64max |
| PARAM_VALUE | 0 | filp->private_data->fp_flock.l_lksb.lksb_o2dlm.lockid->bast | 0-s64max |
| PARAM_VALUE | 0 | filp->private_data->fp_flock.l_lksb.lksb_o2dlm.lockid->bast_pending | 0-1 |
| PARAM_VALUE | 0 | filp->private_data->fp_flock.l_lksb.lksb_o2dlm.lockid->cancel_pending | 0-1 |
| PARAM_VALUE | 0 | filp->private_data->fp_flock.l_lksb.lksb_o2dlm.lockid->convert_pending | 0-1 |
| PARAM_VALUE | 0 | filp->private_data->fp_flock.l_lksb.lksb_o2dlm.lockid->lock_pending | 0-1 |
| PARAM_VALUE | 0 | filp->private_data->fp_flock.l_lksb.lksb_o2dlm.lockid->ml.convert_type | (-128)-127 |
| PARAM_VALUE | 0 | filp->private_data->fp_flock.l_lksb.lksb_o2dlm.lockid->unlock_pending | 0-1 |
| PARAM_VALUE | 0 | filp->private_data->fp_flock.l_lksb.lksb_o2dlm.status | 0-4294967295 |
| PARAM_VALUE | 0 | filp->private_data->fp_flock.l_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | fl | 6679205499366121472,8240022910925856768 |
| PARAM_VALUE | 1 | fl->c.flc_blocker | 0 |
| PARAM_VALUE | 1 | fl->c.flc_file | 0,4-u64max |
| PARAM_VALUE | 1 | fl->c.flc_flags | 2,130 |
| PARAM_VALUE | 1 | fl->c.flc_link.next | 0 |
| PARAM_VALUE | 1 | fl->c.flc_link.pprev | 0 |
| PARAM_VALUE | 1 | fl->c.flc_link_cpu | 0 |
| PARAM_VALUE | 1 | fl->c.flc_owner | 0,4-u64max |
| PARAM_VALUE | 1 | fl->c.flc_type | 0-1 |
| PARAM_VALUE | 1 | fl->c.flc_wait.head.next | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->c.flc_wait.head.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->fl_end | s64max |
| PARAM_VALUE | 1 | fl->fl_lmops | 0 |
| PARAM_VALUE | 1 | fl->fl_ops | 0 |
| PARAM_VALUE | 1 | fl->fl_start | 0 |
| PARAM_VALUE | 1 | fl->fl_u.afs.debug_id | 0 |
| PARAM_VALUE | 1 | fl->fl_u.afs.link.next | 0 |
| PARAM_VALUE | 1 | fl->fl_u.afs.link.prev | 0 |
| PARAM_VALUE | 1 | fl->fl_u.afs.state | 0 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode | 0 |
| PARAM_VALUE | 1 | fl->fl_u.nfs4_fl.owner | 0 |
| PARAM_VALUE | 1 | fl->fl_u.nfs_fl.list.next | 0 |
| PARAM_VALUE | 1 | fl->fl_u.nfs_fl.list.prev | 0 |
| PARAM_VALUE | 1 | fl->fl_u.nfs_fl.owner | 0 |
| PARAM_VALUE | 1 | fl->fl_u.nfs_fl.state | 0 |
| CAPPED_DATA | 0 | filp->private_data->fp_flock.l_level | 1 |
| DATA_SOURCE | 0 | filp | $0 |
| DATA_SOURCE | 1 | fl | $3 |
| BIT_INFO | 1 | fl->c.flc_flags | 0x2,0xffffffffffffffff |
| MEM_ZERO | 1 | fl | |
| RX_PATH | |||
| NO_OVERFLOW_SIMPLE | 0 | filp->f_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | filp->f_path.d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | filp->f_path.dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | filp->f_path.moved->d_inode->i_size | |
| LOCK2 | &fp->fp_mutex | ||
| TYPE_LOCK | (struct ocfs2_file_private)->fp_mutex |
fs/ocfs2/locks.c ocfs2_do_funlock() -> locks_lock_file_wait()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | filp | 4096-ptr_max |
| PARAM_VALUE | 0 | filp->f_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | filp->f_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | filp->f_mapping | 4096-ptr_max |
| PARAM_VALUE | 0 | filp->f_mapping->host | 4096-ptr_max |
| PARAM_VALUE | 0 | filp->f_mapping->host->i_sb | 4096-ptr_max |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_inode->i_mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_inode->i_sb->s_cop->inode_info_offs | 1632,1640,1720,1808,1816,2632,2640,2648,2704,2712 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_init | 0,2385819921126617088,7057831443282669568,7824184004865302528 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_iput | 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_manage | 0,1859587847549206528 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_prune | 0,2225594340392566784,7225953709177749504 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_real | 0,4509355519306412032 |
| PARAM_VALUE | 0 | filp->f_path.mnt->mnt_sb->s_export_op->flags | 0,127 |
| PARAM_VALUE | 0 | filp->private_data | 4096-ptr_max |
| PARAM_VALUE | 1 | fl | 6679205499366121472,8240022910925856768 |
| PARAM_VALUE | 1 | fl->c.flc_blocker | 0 |
| PARAM_VALUE | 1 | fl->c.flc_file | 0,4-u64max |
| PARAM_VALUE | 1 | fl->c.flc_flags | 2,66,130 |
| PARAM_VALUE | 1 | fl->c.flc_link.next | 0 |
| PARAM_VALUE | 1 | fl->c.flc_link.pprev | 0 |
| PARAM_VALUE | 1 | fl->c.flc_link_cpu | 0 |
| PARAM_VALUE | 1 | fl->c.flc_owner | 0,4-u64max |
| PARAM_VALUE | 1 | fl->c.flc_type | 2 |
| PARAM_VALUE | 1 | fl->c.flc_wait.head.next | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->c.flc_wait.head.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->fl_end | s64max |
| PARAM_VALUE | 1 | fl->fl_lmops | 0 |
| PARAM_VALUE | 1 | fl->fl_ops | 0 |
| PARAM_VALUE | 1 | fl->fl_start | 0 |
| PARAM_VALUE | 1 | fl->fl_u.afs.debug_id | 0 |
| PARAM_VALUE | 1 | fl->fl_u.afs.link.next | 0 |
| PARAM_VALUE | 1 | fl->fl_u.afs.link.prev | 0 |
| PARAM_VALUE | 1 | fl->fl_u.afs.state | 0 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode | 0 |
| PARAM_VALUE | 1 | fl->fl_u.nfs4_fl.owner | 0 |
| PARAM_VALUE | 1 | fl->fl_u.nfs_fl.list.next | 0 |
| PARAM_VALUE | 1 | fl->fl_u.nfs_fl.list.prev | 0 |
| PARAM_VALUE | 1 | fl->fl_u.nfs_fl.owner | 0 |
| PARAM_VALUE | 1 | fl->fl_u.nfs_fl.state | 0 |
| BUF_SIZE | 0 | filp->private_data | (-1),26 |
| DATA_SOURCE | 0 | filp | $0 |
| DATA_SOURCE | 1 | fl | $2 |
| BIT_INFO | 1 | fl->c.flc_flags | 0x2,0xffffffffffffffff |
| MEM_ZERO | 1 | fl | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | filp->f_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | filp->f_path.d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | filp->f_path.dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | filp->f_path.moved->d_inode->i_size | |
| LOCK2 | &fp->fp_mutex | ||
| TYPE_LOCK | (struct ocfs2_file_private)->fp_mutex |
fs/ocfs2/locks.c ocfs2_flock() -> locks_lock_file_wait()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | filp | 4096-ptr_max |
| PARAM_VALUE | 0 | filp->f_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | filp->f_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | filp->f_mapping | 4096-ptr_max |
| PARAM_VALUE | 0 | filp->f_mapping->host | 4096-ptr_max |
| PARAM_VALUE | 0 | filp->f_mapping->host->i_sb | 4096-ptr_max |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_inode->i_mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_init | 0,2385819921126617088,7057831443282669568,7824184004865302528 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_iput | 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_manage | 0,1859587847549206528 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_prune | 0,2225594340392566784,7225953709177749504 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_real | 0,4509355519306412032 |
| PARAM_VALUE | 0 | filp->f_path.mnt->mnt_sb->s_export_op->flags | 0,127 |
| PARAM_VALUE | 1 | fl | 6679205499366121472,8240022910925856768 |
| PARAM_VALUE | 1 | fl->c.flc_blocked_member.next | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->c.flc_blocked_member.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->c.flc_blocked_requests.next | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->c.flc_blocked_requests.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->c.flc_blocker | 0 |
| PARAM_VALUE | 1 | fl->c.flc_file | 0,4-u64max |
| PARAM_VALUE | 1 | fl->c.flc_flags | 2,66,130 |
| PARAM_VALUE | 1 | fl->c.flc_link.next | 0 |
| PARAM_VALUE | 1 | fl->c.flc_link.pprev | 0 |
| PARAM_VALUE | 1 | fl->c.flc_link_cpu | 0 |
| PARAM_VALUE | 1 | fl->c.flc_list.next | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->c.flc_list.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->c.flc_owner | 0,4-u64max |
| PARAM_VALUE | 1 | fl->c.flc_type | 0-2 |
| PARAM_VALUE | 1 | fl->c.flc_wait.head.next | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->c.flc_wait.head.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->fl_end | s64max |
| PARAM_VALUE | 1 | fl->fl_lmops | 0 |
| PARAM_VALUE | 1 | fl->fl_ops | 0 |
| PARAM_VALUE | 1 | fl->fl_start | 0 |
| PARAM_VALUE | 1 | fl->fl_u.afs.debug_id | 0 |
| PARAM_VALUE | 1 | fl->fl_u.afs.link.next | 0 |
| PARAM_VALUE | 1 | fl->fl_u.afs.link.prev | 0 |
| PARAM_VALUE | 1 | fl->fl_u.afs.state | 0 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode | 0 |
| PARAM_VALUE | 1 | fl->fl_u.nfs4_fl.owner | 0 |
| PARAM_VALUE | 1 | fl->fl_u.nfs_fl.list.next | 0 |
| PARAM_VALUE | 1 | fl->fl_u.nfs_fl.list.prev | 0 |
| PARAM_VALUE | 1 | fl->fl_u.nfs_fl.owner | 0 |
| PARAM_VALUE | 1 | fl->fl_u.nfs_fl.state | 0 |
| BUF_SIZE | 0 | filp | (-1),1-s32max |
| BUF_SIZE | 0 | filp | (-1),1-s32max |
| BUF_SIZE | 0 | filp->private_data | (-1),26 |
| DATA_SOURCE | 0 | filp | $0 |
| DATA_SOURCE | 1 | fl | $2 |
| BIT_INFO | 1 | fl->c.flc_flags | 0x2,0xff |
| MEM_ZERO | 1 | fl | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | filp->f_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | filp->f_path.d_inode->i_size |
fs/9p/vfs_file.c v9fs_file_do_lock() -> locks_lock_file_wait()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | filp | 4096-ptr_max |
| PARAM_VALUE | 0 | filp->f_inode->i_mapping->host->i_sb->s_export_op->encode_fh | 0,2,1398972869330624512,1616549510479982592,2037984473558433792,2776440803454029824,3228746867770966016,3502492669594062848,3526768263295340544,3559173554394271744,5000850239487131648,5583386343686406144,5817357685191483392-s64max |
| PARAM_VALUE | 0 | filp->f_inode->i_mapping->host->i_sb->s_export_op->fh_to_dentry | 0,8684,447817974243774464,687732489194512384,742201802719268864,868497899885588480,1471448175530500096,2021658383390310400,2445877819203563520,2512819722689847296,2649270699546726400,2761259683714371584,2893332316235677696-s64max |
| PARAM_VALUE | 0 | filp->f_inode->i_mapping->host->i_sb->s_export_op->fh_to_parent | 0,4672,148606482432692224,436469935444291584,457356038048772096,467281172929331200,529780027764285440,1092893949038768128,1556959531105513472,1608953577475584000,1649536479961075712,2404761408063094784,2970908329832960000-s64max |
| PARAM_VALUE | 0 | filp->f_inode->i_mapping->host->i_sb->s_export_op->get_parent | 0,8931,264940071972966400,291591359766798336,565128213429456896,893189740598853632,1241177127089143808,1474696885321834496,1812477326828269568,1893665921928286208,2210088671756947456,2437012291923775488,2483979068402987008-s64max |
| PARAM_VALUE | 0 | filp->f_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | filp->f_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | filp->f_inode->i_sb->s_cop->inode_info_offs | 1632,1720,1808,2632,2648,2712 |
| PARAM_VALUE | 0 | filp->f_mapping->host->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | filp->f_mapping->host->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | filp->f_mapping->host->i_sb->s_export_op->fh_to_dentry | 0,8684,447817974243774464,687732489194512384,742201802719268864,868497899885588480,1471448175530500096,2021658383390310400,2445877819203563520,2512819722689847296,2649270699546726400,2761259683714371584,2893332316235677696-s64max |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_inode->i_mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_inode->i_sb->s_cop->inode_info_offs | 1632,1640,1720,1808,1816,2632,2640,2648,2704,2712 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_init | 0,2385819921126617088,7057831443282669568,7824184004865302528 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_iput | 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_manage | 0,1859587847549206528 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_prune | 0,2225594340392566784,7225953709177749504 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_real | 0,4509355519306412032 |
| PARAM_VALUE | 0 | filp->f_path.mnt->mnt_sb->s_export_op->flags | 0,127 |
| PARAM_VALUE | 0 | filp->private_data | 1-u64max |
| PARAM_VALUE | 1 | fl | 4096-ptr_max |
| BUF_SIZE | 0 | filp | (-1)-s32max |
| BUF_SIZE | 0 | filp | (-1)-s32max |
| BUF_SIZE | 0 | filp->private_data | (-1),26 |
| BUF_SIZE | 1 | fl | (-1)-s32max |
| BUF_SIZE | 1 | fl | (-1)-s32max |
| BUF_SIZE | 1 | fl->c.flc_file | (-1)-s32max |
| BUF_SIZE | 1 | fl->fl_lmops | (-1),56 |
| DATA_SOURCE | 0 | filp | $0 |
| DATA_SOURCE | 1 | fl | $2 |
| NOSPEC | 1 | fl->fl_start | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | fl->c.flc_type | 0-2 |
| USER_DATA | 1 | fl->fl_start | s64min-9223372036854775806[c][u] |
| NO_OVERFLOW_SIMPLE | 0 | filp->f_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | filp->f_path.d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | filp->f_path.dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | filp->f_path.moved->d_inode->i_size |
fs/9p/vfs_file.c v9fs_file_do_lock() -> locks_lock_file_wait()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | filp | 4096-ptr_max |
| PARAM_VALUE | 0 | filp->f_inode->i_mapping->host->i_sb->s_export_op->encode_fh | 0,2,1398972869330624512,1616549510479982592,2037984473558433792,2776440803454029824,3228746867770966016,3502492669594062848,3526768263295340544,3559173554394271744,5000850239487131648,5583386343686406144,5817357685191483392-s64max |
| PARAM_VALUE | 0 | filp->f_inode->i_mapping->host->i_sb->s_export_op->fh_to_dentry | 0,8684,447817974243774464,687732489194512384,742201802719268864,868497899885588480,1471448175530500096,2021658383390310400,2445877819203563520,2512819722689847296,2649270699546726400,2761259683714371584,2893332316235677696-s64max |
| PARAM_VALUE | 0 | filp->f_inode->i_mapping->host->i_sb->s_export_op->fh_to_parent | 0,4672,148606482432692224,436469935444291584,457356038048772096,467281172929331200,529780027764285440,1092893949038768128,1556959531105513472,1608953577475584000,1649536479961075712,2404761408063094784,2970908329832960000-s64max |
| PARAM_VALUE | 0 | filp->f_inode->i_mapping->host->i_sb->s_export_op->get_parent | 0,8931,264940071972966400,291591359766798336,565128213429456896,893189740598853632,1241177127089143808,1474696885321834496,1812477326828269568,1893665921928286208,2210088671756947456,2437012291923775488,2483979068402987008-s64max |
| PARAM_VALUE | 0 | filp->f_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | filp->f_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | filp->f_inode->i_sb->s_cop->inode_info_offs | 1632,1720,1808,2632,2648,2712 |
| PARAM_VALUE | 0 | filp->f_mapping->host->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | filp->f_mapping->host->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | filp->f_mapping->host->i_sb->s_export_op->fh_to_dentry | 0,8684,447817974243774464,687732489194512384,742201802719268864,868497899885588480,1471448175530500096,2021658383390310400,2445877819203563520,2512819722689847296,2649270699546726400,2761259683714371584,2893332316235677696-s64max |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_inode->i_mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_inode->i_sb->s_cop->inode_info_offs | 1632,1640,1720,1808,1816,2632,2640,2648,2704,2712 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_init | 0,2385819921126617088,7057831443282669568,7824184004865302528 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_iput | 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_manage | 0,1859587847549206528 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_prune | 0,2225594340392566784,7225953709177749504 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_real | 0,4509355519306412032 |
| PARAM_VALUE | 0 | filp->f_path.mnt->mnt_sb->s_export_op->flags | 0,127 |
| PARAM_VALUE | 0 | filp->private_data | 4096-ptr_max |
| PARAM_VALUE | 1 | fl | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->c.flc_blocked_member.next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->c.flc_blocked_member.next->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->c.flc_blocked_member.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->c.flc_blocked_member.prev->next | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->c.flc_blocked_member.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->c.flc_blocked_requests.next | 40,4096-ptr_max |
| PARAM_VALUE | 1 | fl->c.flc_blocked_requests.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->c.flc_blocker | 0 |
| PARAM_VALUE | 1 | fl->c.flc_link->next->pprev | 1-u64max |
| PARAM_VALUE | 1 | fl->c.flc_link.next | 0 |
| PARAM_VALUE | 1 | fl->c.flc_link.next->pprev | 1-u64max |
| PARAM_VALUE | 1 | fl->c.flc_type | 2 |
| PARAM_VALUE | 1 | fl->fl_u.nfs4_fl.owner->ls_count.refs.counter | s32min-s32max |
| BUF_SIZE | 0 | filp | (-1)-s32max |
| BUF_SIZE | 0 | filp | (-1)-s32max |
| BUF_SIZE | 0 | filp->private_data | (-1),26 |
| BUF_SIZE | 1 | fl | (-1)-s32max |
| BUF_SIZE | 1 | fl | (-1)-s32max |
| DATA_SOURCE | 0 | filp | $0 |
| DATA_SOURCE | 1 | fl | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | filp->f_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | filp->f_path.d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | filp->f_path.dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | filp->f_path.moved->d_inode->i_size |
fs/fuse/file.c fuse_file_flock() -> locks_lock_file_wait()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | filp | 4096-ptr_max |
| PARAM_VALUE | 0 | filp->f_inode | 4096-ptr_max |
| PARAM_VALUE | 0 | filp->f_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | filp->f_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | filp->f_inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_inode->i_mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_init | 0,2385819921126617088,7057831443282669568,7824184004865302528 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_iput | 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_manage | 0,1859587847549206528 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_prune | 0,2225594340392566784,7225953709177749504 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_parent->d_sb->__s_d_op->d_real | 0,4509355519306412032 |
| PARAM_VALUE | 0 | filp->f_path.mnt->mnt_sb->s_export_op->flags | 0,127 |
| PARAM_VALUE | 1 | fl | 6679205499366121472,8240022910925856768 |
| PARAM_VALUE | 1 | fl->c.flc_blocked_member.next | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->c.flc_blocked_member.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->c.flc_blocked_requests.next | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->c.flc_blocked_requests.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->c.flc_blocker | 0 |
| PARAM_VALUE | 1 | fl->c.flc_file | 0,4-u64max |
| PARAM_VALUE | 1 | fl->c.flc_flags | 2,66,130 |
| PARAM_VALUE | 1 | fl->c.flc_link.next | 0 |
| PARAM_VALUE | 1 | fl->c.flc_link.pprev | 0 |
| PARAM_VALUE | 1 | fl->c.flc_link_cpu | 0 |
| PARAM_VALUE | 1 | fl->c.flc_list.next | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->c.flc_list.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->c.flc_owner | 0,4-u64max |
| PARAM_VALUE | 1 | fl->c.flc_type | 0-2 |
| PARAM_VALUE | 1 | fl->c.flc_wait.head.next | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->c.flc_wait.head.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->fl_end | s64max |
| PARAM_VALUE | 1 | fl->fl_lmops | 0 |
| PARAM_VALUE | 1 | fl->fl_ops | 0 |
| PARAM_VALUE | 1 | fl->fl_start | 0 |
| PARAM_VALUE | 1 | fl->fl_u.afs.debug_id | 0 |
| PARAM_VALUE | 1 | fl->fl_u.afs.link.next | 0 |
| PARAM_VALUE | 1 | fl->fl_u.afs.link.prev | 0 |
| PARAM_VALUE | 1 | fl->fl_u.afs.state | 0 |
| PARAM_VALUE | 1 | fl->fl_u.ceph.inode | 0 |
| PARAM_VALUE | 1 | fl->fl_u.nfs4_fl.owner | 0 |
| PARAM_VALUE | 1 | fl->fl_u.nfs_fl.list.next | 0 |
| PARAM_VALUE | 1 | fl->fl_u.nfs_fl.list.prev | 0 |
| PARAM_VALUE | 1 | fl->fl_u.nfs_fl.owner | 0 |
| PARAM_VALUE | 1 | fl->fl_u.nfs_fl.state | 0 |
| BUF_SIZE | 0 | filp | (-1),1-s32max |
| BUF_SIZE | 0 | filp | (-1),1-s32max |
| BUF_SIZE | 0 | filp->private_data | (-1),26 |
| DATA_SOURCE | 0 | filp | $0 |
| DATA_SOURCE | 1 | fl | $2 |
| MEM_ZERO | 1 | fl | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | filp->f_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | filp->f_path.d_inode->i_size |