Defined in 1 files as a variable:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
fs/ocfs2/stack_user.c get_protocol_version() -> version_lock()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | conn | 4096-ptr_max |
| PARAM_VALUE | 0 | conn->cc_cluster_name_len | 0-16 |
| PARAM_VALUE | 0 | conn->cc_lockspace | 4096-ptr_max |
| PARAM_VALUE | 0 | conn->cc_namelen | 0-63 |
| PARAM_VALUE | 0 | conn->cc_private | 4096-ptr_max |
| PARAM_VALUE | 0 | conn->cc_proto | 3703396299684192256,5040390987292663808 |
| PARAM_VALUE | 0 | conn->cc_recovery_data | 0,4096-ptr_max |
| PARAM_VALUE | 0 | conn->cc_recovery_handler | 1-u64max |
| PARAM_VALUE | 1 | mode | 5 |
| PARAM_VALUE | 2 | flags | 9 |
| BUF_SIZE | 0 | conn | 144 |
| DATA_SOURCE | 0 | conn | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
fs/ocfs2/stack_user.c get_protocol_version() -> version_lock()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | conn | 4096-ptr_max |
| PARAM_VALUE | 0 | conn->cc_cluster_name_len | 0-16 |
| PARAM_VALUE | 0 | conn->cc_lockspace | 4096-ptr_max |
| PARAM_VALUE | 0 | conn->cc_lockspace->ls_count.counter | s32min-s32max |
| PARAM_VALUE | 0 | conn->cc_lockspace->ls_in_recovery.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | conn->cc_lockspace->ls_in_recovery.first_waiter->handoff_set | 1 |
| PARAM_VALUE | 0 | conn->cc_lockspace->ls_in_recovery.first_waiter->list.next | 2212933610777083904 |
| PARAM_VALUE | 0 | conn->cc_lockspace->ls_in_recovery.first_waiter->list.prev | 2212933610777083904 |
| PARAM_VALUE | 0 | conn->cc_lockspace->ls_in_recovery.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | conn->cc_lockspace->ls_lkbxa.xa_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | conn->cc_lockspace->ls_lkbxa_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | conn->cc_lockspace->ls_lkbxa_lock.owner_cpu | 0-4294967295 |
| PARAM_VALUE | 0 | conn->cc_lockspace->ls_lkbxa_lock.raw_lock.cnts.counter | s32min-s32max |
| PARAM_VALUE | 0 | conn->cc_lockspace->ls_lkbxa_lock.raw_lock.wlocked | 0-255 |
| PARAM_VALUE | 0 | conn->cc_lockspace->ls_rsbtbl.nelems.counter | s32min-s32max |
| PARAM_VALUE | 0 | conn->cc_lockspace->ls_rsbtbl.run_irq_work.node.a_flags.counter | s32min-s32max |
| PARAM_VALUE | 0 | conn->cc_lockspace->ls_rsbtbl.tbl->dep_map->name | 0-255 |
| PARAM_VALUE | 0 | conn->cc_lockspace->ls_rsbtbl.tbl->hash_rnd | 0-4294967295 |
| PARAM_VALUE | 0 | conn->cc_lockspace->ls_rsbtbl.tbl->nest | 0-4294967295 |
| PARAM_VALUE | 0 | conn->cc_lockspace->ls_rsbtbl.tbl->size | 0-4294967295 |
| PARAM_VALUE | 0 | conn->cc_lockspace->ls_rsbtbl_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | conn->cc_lockspace->ls_rsbtbl_lock.owner | (-1) |
| PARAM_VALUE | 0 | conn->cc_lockspace->ls_rsbtbl_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | conn->cc_lockspace->ls_rsbtbl_lock.raw_lock.cnts.counter | 0-s32max |
| PARAM_VALUE | 0 | conn->cc_lockspace->ls_scan_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | conn->cc_lockspace->ls_scan_timer.flags | 0-4294967295 |
| PARAM_VALUE | 0 | conn->cc_namelen | 0-63 |
| PARAM_VALUE | 0 | conn->cc_private | 4096-ptr_max |
| PARAM_VALUE | 0 | conn->cc_private->oc_sync_wait.done | 0-4294967293,4294967295 |
| PARAM_VALUE | 0 | conn->cc_private->oc_sync_wait.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | conn->cc_private->oc_sync_wait.wait.lock.owner | (-1) |
| PARAM_VALUE | 0 | conn->cc_private->oc_sync_wait.wait.lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | conn->cc_private->oc_version_lksb.sb_status | 0 |
| PARAM_VALUE | 0 | conn->cc_proto | 3703396299684192256,5040390987292663808 |
| PARAM_VALUE | 0 | conn->cc_recovery_data | 0,4096-ptr_max |
| PARAM_VALUE | 0 | conn->cc_recovery_handler | 1-u64max |
| PARAM_VALUE | 0 | conn->cc_version.pv_major | 0 |
| PARAM_VALUE | 0 | conn->cc_version.pv_minor | 0 |
| PARAM_VALUE | 1 | mode | 3 |
| PARAM_VALUE | 2 | flags | 12 |
| BUF_SIZE | 0 | conn | 144 |
| DATA_SOURCE | 0 | conn | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
fs/ocfs2/stack_user.c get_protocol_version() -> version_lock()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | conn | 4096-ptr_max |
| PARAM_VALUE | 0 | conn->cc_cluster_name_len | 0-16 |
| PARAM_VALUE | 0 | conn->cc_lockspace | 4096-ptr_max |
| PARAM_VALUE | 0 | conn->cc_lockspace->ls_count.counter | s32min-s32max |
| PARAM_VALUE | 0 | conn->cc_lockspace->ls_in_recovery.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | conn->cc_lockspace->ls_in_recovery.first_waiter->handoff_set | 1 |
| PARAM_VALUE | 0 | conn->cc_lockspace->ls_in_recovery.first_waiter->list.next | 2212933610777083904 |
| PARAM_VALUE | 0 | conn->cc_lockspace->ls_in_recovery.first_waiter->list.prev | 2212933610777083904 |
| PARAM_VALUE | 0 | conn->cc_lockspace->ls_in_recovery.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | conn->cc_lockspace->ls_lkbxa.xa_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | conn->cc_lockspace->ls_lkbxa_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | conn->cc_lockspace->ls_lkbxa_lock.owner_cpu | 0-4294967295 |
| PARAM_VALUE | 0 | conn->cc_lockspace->ls_lkbxa_lock.raw_lock.cnts.counter | s32min-s32max |
| PARAM_VALUE | 0 | conn->cc_lockspace->ls_lkbxa_lock.raw_lock.wlocked | 0-255 |
| PARAM_VALUE | 0 | conn->cc_lockspace->ls_rsbtbl.nelems.counter | s32min-s32max |
| PARAM_VALUE | 0 | conn->cc_lockspace->ls_rsbtbl.run_irq_work.node.a_flags.counter | s32min-s32max |
| PARAM_VALUE | 0 | conn->cc_lockspace->ls_rsbtbl.tbl->dep_map->name | 0-255 |
| PARAM_VALUE | 0 | conn->cc_lockspace->ls_rsbtbl.tbl->hash_rnd | 0-4294967295 |
| PARAM_VALUE | 0 | conn->cc_lockspace->ls_rsbtbl.tbl->nest | 0-4294967295 |
| PARAM_VALUE | 0 | conn->cc_lockspace->ls_rsbtbl.tbl->size | 0-4294967295 |
| PARAM_VALUE | 0 | conn->cc_lockspace->ls_rsbtbl_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | conn->cc_lockspace->ls_rsbtbl_lock.owner | (-1) |
| PARAM_VALUE | 0 | conn->cc_lockspace->ls_rsbtbl_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | conn->cc_lockspace->ls_rsbtbl_lock.raw_lock.cnts.counter | 0-s32max |
| PARAM_VALUE | 0 | conn->cc_lockspace->ls_scan_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | conn->cc_lockspace->ls_scan_timer.flags | 0-4294967295 |
| PARAM_VALUE | 0 | conn->cc_namelen | 0-63 |
| PARAM_VALUE | 0 | conn->cc_private | 4096-ptr_max |
| PARAM_VALUE | 0 | conn->cc_private->oc_sync_wait.done | 0-4294967293,4294967295 |
| PARAM_VALUE | 0 | conn->cc_private->oc_sync_wait.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | conn->cc_private->oc_sync_wait.wait.lock.owner | (-1) |
| PARAM_VALUE | 0 | conn->cc_private->oc_sync_wait.wait.lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | conn->cc_private->oc_version_lksb.sb_status | (-65538)-(-65537),(-35),(-11),0 |
| PARAM_VALUE | 0 | conn->cc_proto | 3703396299684192256,5040390987292663808 |
| PARAM_VALUE | 0 | conn->cc_recovery_data | 0,4096-ptr_max |
| PARAM_VALUE | 0 | conn->cc_recovery_handler | 1-u64max |
| PARAM_VALUE | 1 | mode | 3 |
| PARAM_VALUE | 2 | flags | 8 |
| BUF_SIZE | 0 | conn | 144 |
| DATA_SOURCE | 0 | conn | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING |