Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 2 files as a function:
Referenced in 3 files:
Smatch caller information:
fs/dlm/plock.c locks_lock_file_wait() -> locks_lock_inode_wait()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | fl | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->fl_lmops->lm_grant | 0,6755173835644108800 |
| BUF_SIZE | 1 | fl | (-1)-s32max |
| BUF_SIZE | 1 | fl | (-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 | $1 |
| 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-2 |
| USER_DATA | 1 | fl->fl_start | s64min-9223372036854775806[c][u] |
| HALF_LOCKED2 | &ls->ls_sem |
fs/afs/flock.c locks_lock_file_wait() -> locks_lock_inode_wait()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | fl | 4096-ptr_max |
| BUF_SIZE | 1 | fl | (-1)-s32max |
| BUF_SIZE | 1 | fl | (-1)-s32max |
| BUF_SIZE | 1 | fl->c.flc_file | (-1),1-s32max |
| BUF_SIZE | 1 | fl->fl_lmops | (-1),56 |
| BUF_SIZE | 1 | fl->fl_ops | (-1),16 |
| 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 | 0-2 |
| USER_DATA | 1 | fl->fl_start | s64min-9223372036854775806[c][u] |
fs/ceph/locks.c locks_lock_file_wait() -> locks_lock_inode_wait()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | fl | 4096-ptr_max |
| 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_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_data.host->i_sb->s_export_op->encode_fh | 0,2,4096-ptr_max |
| 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_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_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->dirty_inode | 0,621408797344559104,3913825662048972800,5398169538550730752,5762663374499221504,5910256729421369344,7426269908539875328,8470241182936211456 |
| 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->shutdown | 0,270907176096247808,394905300707143680,1621038160951336960,2742114378027888640,4674517140434182144,5302154572152815616,9061279276729196544 |
| 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 |
| BUF_SIZE | 1 | fl | (-1)-s32max |
| BUF_SIZE | 1 | fl | (-1)-s32max |
| BUF_SIZE | 1 | fl->c.flc_file | (-1),1-s32max |
| BUF_SIZE | 1 | fl->fl_lmops | (-1),56 |
| DATA_SOURCE | 1 | fl | $1 |
| 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] |
fs/nfs/file.c locks_lock_file_wait() -> locks_lock_inode_wait()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | fl | 4096-ptr_max |
| BUF_SIZE | 1 | fl | (-1)-s32max |
| BUF_SIZE | 1 | fl | (-1)-s32max |
| BUF_SIZE | 1 | fl->c.flc_file | (-1),1-s32max |
| BUF_SIZE | 1 | fl->fl_lmops | (-1),56 |
| 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] |
fs/smb/client/file.c locks_lock_file_wait() -> locks_lock_inode_wait()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | fl | 4096-ptr_max |
| BUF_SIZE | 1 | fl | (-1)-s32max |
| BUF_SIZE | 1 | fl | (-1)-s32max |
| BUF_SIZE | 1 | fl->c.flc_file | (-1),1-s32max |
| BUF_SIZE | 1 | fl->fl_lmops | (-1),56 |
| 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] |
fs/lockd/clntproc.c locks_lock_file_wait() -> locks_lock_inode_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 | 1 | fl->c.flc_file | s32min,(-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 | $1 |
| NOSPEC | 1 | fl->c.flc_type | |
| 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] |
| HALF_LOCKED2 | &host->h_rwsem |
fs/locks.c locks_lock_file_wait() -> locks_lock_inode_wait()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | fl | 6679205499366121472 |
| 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,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_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.nfs_fl.owner | 0 |
| DATA_SOURCE | 1 | fl | $1 |
| MEM_ZERO | 1 | fl |
fs/nfs/nfs4proc.c _nfs4_proc_setlk() -> locks_lock_inode_wait()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->i_sb | 4096-ptr_max |
| 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 | 67636532917895168,1613550966771412992,4094200782078414848,8793117865022787584 |
| PARAM_VALUE | 1 | fl->fl_ops->fl_release_private | 392013657116258304,2660890378042843136,4364947055673008128,7742426382536392704 |
| PARAM_VALUE | 1 | fl->fl_u.nfs4_fl.owner->ls_seqid.flags | 0-s32max |
| PARAM_VALUE | 1 | fl->fl_u.nfs4_fl.owner->ls_state->owner->so_seqid.flags | 0-s32max |
| BUF_SIZE | 1 | fl->c.flc_file | s32min,(-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 | $2 |
| BIT_INFO | 1 | fl->c.flc_flags | 0x8,0xffffffff |
| NOSPEC | 1 | fl->c.flc_type | |
| 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] |
fs/nfs/nfs4proc.c _nfs4_proc_setlk() -> locks_lock_inode_wait()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->i_flctx | 1-u64max |
| PARAM_VALUE | 0 | inode->i_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | inode->i_sb | 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_flags | 0-127 |
| 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->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 | 67636532917895168,1613550966771412992,4094200782078414848,8793117865022787584 |
| PARAM_VALUE | 1 | fl->fl_ops->fl_release_private | 392013657116258304,2660890378042843136,4364947055673008128,7742426382536392704 |
| PARAM_VALUE | 1 | fl->fl_u.nfs4_fl.owner->ls_seqid.flags | 0-s32max |
| PARAM_VALUE | 1 | fl->fl_u.nfs4_fl.owner->ls_state->owner->so_seqid.flags | 0-s32max |
| DATA_SOURCE | 1 | fl | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &nfsi->rwsem | ||
| LOCK2 | &sp->so_delegreturn_mutex | ||
| TYPE_LOCK | (struct nfs4_state_owner)->so_delegreturn_mutex | ||
| TYPE_LOCK | (struct nfs_inode)->rwsem |
fs/nfs/nfs4proc.c _nfs4_proc_setlk() -> locks_lock_inode_wait()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->i_flctx | 1-u64max |
| PARAM_VALUE | 0 | inode->i_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | inode->i_sb | 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_file | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->c.flc_flags | 0-4294967159 |
| 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_owner->count.refs.counter | s32min-s32max |
| PARAM_VALUE | 1 | fl->c.flc_owner->lo_owner.so_count.counter | s32min-s32max |
| PARAM_VALUE | 1 | fl->fl_lmops | 0,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 | 0,4096-ptr_max |
| 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.afs.link.next | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->fl_u.afs.link.next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->fl_u.afs.link.next->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->fl_u.nfs4_fl.owner | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->fl_u.nfs4_fl.owner->ls_seqid.flags | 0-s32max |
| PARAM_VALUE | 1 | fl->fl_u.nfs4_fl.owner->ls_state | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->fl_u.nfs4_fl.owner->ls_state->inode | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->fl_u.nfs4_fl.owner->ls_state->inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->fl_u.nfs4_fl.owner->ls_state->owner->so_seqid.flags | 0-s32max |
| PARAM_VALUE | 1 | fl->fl_u.nfs_fl.owner->count.refs.counter | s32min-s32max |
| PARAM_VALUE | 1 | fl->fl_u.nfs_fl.owner->host->h_lock.rlock.dep_map->name | 0-255 |
| DATA_SOURCE | 1 | fl | $2 |
| BIT_INFO | 1 | fl->c.flc_flags | 0x0,0xffffff77 |
| RX_PATH | |||
| LOCK2 | &nfsi->rwsem | ||
| TYPE_LOCK | (struct nfs_inode)->rwsem |
fs/nfs/nfs4proc.c nfs4_proc_unlck() -> locks_lock_inode_wait()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | fl | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->c.flc_type | 2 |
| 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 | 67636532917895168,1613550966771412992,4094200782078414848,8793117865022787584 |
| PARAM_VALUE | 1 | fl->fl_ops->fl_release_private | 392013657116258304,2660890378042843136,4364947055673008128,7742426382536392704 |
| BUF_SIZE | 1 | fl | (-1),1-s32max |
| BUF_SIZE | 1 | fl | (-1),1-s32max |
| BUF_SIZE | 1 | fl->c.flc_file | (-1),1-s32max |
| BUF_SIZE | 1 | fl->fl_lmops | (-1),56 |
| DATA_SOURCE | 1 | fl | $2 |
| BIT_INFO | 1 | fl->c.flc_flags | 0x10,0xffffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | fl->c.flc_type | 2 |
| USER_DATA | 1 | fl->fl_start | s64min-s64max[c] |
| LOCK2 | &nfsi->rwsem | ||
| LOCK2 | &sp->so_delegreturn_mutex | ||
| TYPE_LOCK | (struct nfs4_state_owner)->so_delegreturn_mutex | ||
| TYPE_LOCK | (struct nfs_inode)->rwsem |
fs/gfs2/file.c locks_lock_file_wait() -> locks_lock_inode_wait()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | fl | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->c.flc_type | 0-2 |
| 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 | 1 | fl | $1 |
| 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] |
| HALF_LOCKED2 | &fp->f_fl_mutex |
fs/ocfs2/locks.c locks_lock_file_wait() -> locks_lock_inode_wait()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | fl | 5836561812308766720,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_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 | 0,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 |
| DATA_SOURCE | 1 | fl | $1 |
| BIT_INFO | 1 | fl->c.flc_flags | 0x2,0xffffffffffffffff |
| HARD_MAX | 1 | fl->fl_end | s64max |
| MEM_ZERO | 1 | fl | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &fp->fp_mutex |
fs/9p/vfs_file.c locks_lock_file_wait() -> locks_lock_inode_wait()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | fl | 4096-ptr_max |
| BUF_SIZE | 1 | fl | (-1)-s32max |
| BUF_SIZE | 1 | fl | (-1)-s32max |
| BUF_SIZE | 1 | fl->c.flc_file | (-1),1-s32max |
| BUF_SIZE | 1 | fl->fl_lmops | (-1),56 |
| 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] |
fs/fuse/file.c locks_lock_file_wait() -> locks_lock_inode_wait()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 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 | 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 |
| DATA_SOURCE | 1 | fl | $1 |
| MEM_ZERO | 1 | fl | |
| RX_PATH | |||
| TASK_NOT_RUNNING |