Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/lockd/clntproc.c nlmclnt_lock() -> do_vfs_lock()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fl | 4096-ptr_max |
| PARAM_VALUE | 0 | fl->c.flc_file | 4096-ptr_max |
| PARAM_VALUE | 0 | fl->c.flc_type | 0-1,3-255 |
| PARAM_VALUE | 0 | fl->fl_lmops->lm_expire_lock | 0,8135569178967285760 |
| PARAM_VALUE | 0 | fl->fl_lmops->lm_get_owner | 601293288964460544,779917719904358400 |
| PARAM_VALUE | 0 | fl->fl_lmops->lm_grant | 0,6755173835644108800 |
| PARAM_VALUE | 0 | fl->fl_lmops->lm_lock_expirable | 0,6876519118932000768 |
| PARAM_VALUE | 0 | fl->fl_lmops->lm_mod_owner | 0 |
| PARAM_VALUE | 0 | fl->fl_lmops->lm_notify | 7826183627361755136,8433928438555447296 |
| PARAM_VALUE | 0 | fl->fl_lmops->lm_put_owner | 2080181080880410624,4520729263436308480 |
| PARAM_VALUE | 0 | fl->fl_ops | 2840982818442661888 |
| PARAM_VALUE | 0 | fl->fl_ops->fl_copy_lock | 8793117865022787584 |
| PARAM_VALUE | 0 | fl->fl_ops->fl_release_private | 392013657116258304 |
| PARAM_VALUE | 0 | fl->fl_u.nfs_fl.owner | 4096-ptr_max |
| PARAM_VALUE | 0 | fl->fl_u.nfs_fl.state | 0 |
| BUF_SIZE | 0 | fl | (-1),1-s32max |
| BUF_SIZE | 0 | fl | (-1),1-s32max |
| BUF_SIZE | 0 | fl->c.flc_file | (-1),1-s32max |
| BUF_SIZE | 0 | fl->c.flc_owner | (-1),1-s32max |
| BUF_SIZE | 0 | fl->fl_lmops | (-1),56 |
| DATA_SOURCE | 0 | fl | $1 |
| BIT_INFO | 0 | fl->c.flc_flags | 0x8,0xffffffff |
| NOSPEC | 0 | fl->fl_start | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | fl->c.flc_type | 0-1 |
| USER_DATA | 0 | fl->fl_start | s64min-s64max[c] |
fs/lockd/clntproc.c nlmclnt_lock() -> do_vfs_lock()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fl | 4096-ptr_max |
| PARAM_VALUE | 0 | fl->c.flc_blocked_member.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | fl->c.flc_blocked_member.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | fl->c.flc_blocked_member.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | fl->c.flc_blocked_member.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | fl->c.flc_blocked_member.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | fl->c.flc_blocked_requests.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | fl->c.flc_blocked_requests.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | fl->c.flc_blocked_requests.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | fl->c.flc_blocked_requests.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | fl->c.flc_blocker | 0 |
| PARAM_VALUE | 0 | fl->c.flc_flags | 128-383 |
| PARAM_VALUE | 0 | fl->c.flc_link->next->pprev | 1-u64max |
| PARAM_VALUE | 0 | fl->c.flc_link.next | 0 |
| PARAM_VALUE | 0 | fl->c.flc_link.next->pprev | 1-u64max |
| PARAM_VALUE | 0 | fl->fl_lmops->lm_expire_lock | 0,8135569178967285760 |
| PARAM_VALUE | 0 | fl->fl_lmops->lm_get_owner | 601293288964460544,779917719904358400 |
| PARAM_VALUE | 0 | fl->fl_lmops->lm_grant | 0,6755173835644108800 |
| PARAM_VALUE | 0 | fl->fl_lmops->lm_lock_expirable | 0,6876519118932000768 |
| PARAM_VALUE | 0 | fl->fl_lmops->lm_mod_owner | 0 |
| PARAM_VALUE | 0 | fl->fl_lmops->lm_notify | 7826183627361755136,8433928438555447296 |
| PARAM_VALUE | 0 | fl->fl_lmops->lm_put_owner | 2080181080880410624,4520729263436308480 |
| PARAM_VALUE | 0 | fl->fl_ops->fl_copy_lock | 8793117865022787584 |
| PARAM_VALUE | 0 | fl->fl_ops->fl_release_private | 392013657116258304 |
| PARAM_VALUE | 0 | fl->fl_u.nfs4_fl.owner->ls_count.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | fl->fl_u.nfs_fl.owner->host->h_lock.rlock.dep_map->name | 0-255 |
| BUF_SIZE | 0 | fl | (-1),1-s32max |
| BUF_SIZE | 0 | fl | (-1),1-s32max |
| CAPPED_DATA | 0 | fl->fl_u.nfs_fl.state | 1 |
| DATA_SOURCE | 0 | fl | $1 |
| BIT_INFO | 0 | fl->c.flc_flags | 0x80,0xff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &host->h_rwsem | ||
| TYPE_LOCK | (struct nlm_host)->h_rwsem |
fs/lockd/clntproc.c nlmclnt_lock() -> do_vfs_lock()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fl | 4096-ptr_max |
| PARAM_VALUE | 0 | fl->c.flc_blocked_member.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | fl->c.flc_blocked_member.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | fl->c.flc_blocked_member.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | fl->c.flc_blocked_member.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | fl->c.flc_blocked_member.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | fl->c.flc_blocked_requests.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | fl->c.flc_blocked_requests.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | fl->c.flc_blocked_requests.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | fl->c.flc_blocked_requests.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | fl->c.flc_blocker | 0 |
| PARAM_VALUE | 0 | fl->c.flc_flags | 0-255 |
| PARAM_VALUE | 0 | fl->c.flc_link->next->pprev | 1-u64max |
| PARAM_VALUE | 0 | fl->c.flc_link.next | 0 |
| PARAM_VALUE | 0 | fl->c.flc_link.next->pprev | 1-u64max |
| PARAM_VALUE | 0 | fl->c.flc_type | 2 |
| PARAM_VALUE | 0 | fl->fl_lmops->lm_expire_lock | 0,8135569178967285760 |
| PARAM_VALUE | 0 | fl->fl_lmops->lm_get_owner | 601293288964460544,779917719904358400 |
| PARAM_VALUE | 0 | fl->fl_lmops->lm_grant | 0,6755173835644108800 |
| PARAM_VALUE | 0 | fl->fl_lmops->lm_lock_expirable | 0,6876519118932000768 |
| PARAM_VALUE | 0 | fl->fl_lmops->lm_mod_owner | 0 |
| PARAM_VALUE | 0 | fl->fl_lmops->lm_notify | 7826183627361755136,8433928438555447296 |
| PARAM_VALUE | 0 | fl->fl_lmops->lm_put_owner | 2080181080880410624,4520729263436308480 |
| PARAM_VALUE | 0 | fl->fl_ops->fl_copy_lock | 8793117865022787584 |
| PARAM_VALUE | 0 | fl->fl_ops->fl_release_private | 392013657116258304 |
| PARAM_VALUE | 0 | fl->fl_u.nfs4_fl.owner->ls_count.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | fl->fl_u.nfs_fl.owner->host->h_lock.rlock.dep_map->name | 0-255 |
| BUF_SIZE | 0 | fl | (-1),1-s32max |
| BUF_SIZE | 0 | fl | (-1),1-s32max |
| DATA_SOURCE | 0 | fl | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &host->h_rwsem | ||
| TYPE_LOCK | (struct nlm_host)->h_rwsem |
fs/lockd/clntproc.c nlmclnt_unlock() -> do_vfs_lock()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fl | 4096-ptr_max |
| PARAM_VALUE | 0 | fl->c.flc_file | 4096-ptr_max |
| PARAM_VALUE | 0 | fl->c.flc_type | 2 |
| PARAM_VALUE | 0 | fl->fl_lmops->lm_expire_lock | 0,8135569178967285760 |
| PARAM_VALUE | 0 | fl->fl_lmops->lm_get_owner | 601293288964460544,779917719904358400 |
| PARAM_VALUE | 0 | fl->fl_lmops->lm_grant | 0,6755173835644108800 |
| PARAM_VALUE | 0 | fl->fl_lmops->lm_lock_expirable | 0,6876519118932000768 |
| PARAM_VALUE | 0 | fl->fl_lmops->lm_mod_owner | 0 |
| PARAM_VALUE | 0 | fl->fl_lmops->lm_notify | 7826183627361755136,8433928438555447296 |
| PARAM_VALUE | 0 | fl->fl_lmops->lm_put_owner | 2080181080880410624,4520729263436308480 |
| PARAM_VALUE | 0 | fl->fl_ops | 2840982818442661888 |
| PARAM_VALUE | 0 | fl->fl_ops->fl_copy_lock | 8793117865022787584 |
| PARAM_VALUE | 0 | fl->fl_ops->fl_release_private | 392013657116258304 |
| PARAM_VALUE | 0 | fl->fl_u.nfs_fl.owner | 4096-ptr_max |
| PARAM_VALUE | 0 | fl->fl_u.nfs_fl.state | 0 |
| BUF_SIZE | 0 | fl | (-1),1-s32max |
| BUF_SIZE | 0 | fl | (-1),1-s32max |
| BUF_SIZE | 0 | fl->c.flc_file | (-1),1-s32max |
| BUF_SIZE | 0 | fl->c.flc_owner | (-1),1-s32max |
| BUF_SIZE | 0 | fl->fl_lmops | (-1),56 |
| DATA_SOURCE | 0 | fl | $1 |
| BIT_INFO | 0 | fl->c.flc_flags | 0x10,0xffffffff |
| NOSPEC | 0 | fl->fl_start | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | fl->fl_start | s64min-s64max[c] |
| LOCK2 | &host->h_rwsem | ||
| TYPE_LOCK | (struct nlm_host)->h_rwsem |