Defined in 5 files as a member:
- drivers/iommu/virtio-iommu.c, line 42 (as a member)
- drivers/net/hyperv/hyperv_net.h, line 201 (as a member)
- drivers/scsi/esas2r/esas2r.h, line 849 (as a member)
- drivers/thunderbolt/icm.c, line 95 (as a member)
- fs/smb/server/connection.h, line 80 (as a member)
Defined in 1 files as a function:
Referenced in 8 files:
- drivers/iommu/virtio-iommu.c
- drivers/net/hyperv/rndis_filter.c
- drivers/scsi/esas2r/esas2r_init.c, line 306
- drivers/scsi/esas2r/esas2r_main.c
- drivers/thunderbolt/icm.c
- fs/dlm/lock.c
- fs/smb/server/connection.c
- fs/smb/server/smb2pdu.c
Smatch caller information:
fs/dlm/lock.c dlm_lock() -> request_lock()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ls | 4096-ptr_max |
| PARAM_VALUE | 0 | ls->ls_count.counter | s32min-s32max |
| PARAM_VALUE | 0 | ls->ls_in_recovery.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ls->ls_in_recovery.first_waiter->list.next | 2212933610777083904 |
| PARAM_VALUE | 0 | ls->ls_in_recovery.first_waiter->list.prev | 2212933610777083904 |
| PARAM_VALUE | 0 | ls->ls_in_recovery.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | ls->ls_lkbxa.xa_flags | 4-u32max |
| PARAM_VALUE | 0 | ls->ls_lkbxa.xa_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ls->ls_lkbxa_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ls->ls_lkbxa_lock.owner | (-1) |
| PARAM_VALUE | 0 | ls->ls_lkbxa_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | ls->ls_lkbxa_lock.raw_lock.cnts.counter | 0-s32max |
| PARAM_VALUE | 0 | ls->ls_lkbxa_lock.raw_lock.wlocked | 0 |
| PARAM_VALUE | 1 | lkb | 4096-ptr_max |
| PARAM_VALUE | 1 | lkb->lkb_grmode | (-1) |
| PARAM_VALUE | 1 | lkb->lkb_last_bast_cb_mode | (-1) |
| PARAM_VALUE | 1 | lkb->lkb_last_cast_cb_mode | (-1) |
| PARAM_VALUE | 1 | lkb->lkb_last_cb_mode | (-1) |
| PARAM_VALUE | 1 | lkb->lkb_nodeid | (-1) |
| PARAM_VALUE | 1 | lkb->lkb_ref.refcount.refs.counter | 1 |
| PARAM_VALUE | 3 | len | 0-1010101 |
| PARAM_VALUE | 4 | args | 4559115803390660608 |
| PARAM_VALUE | 4 | args->astfn | 1-u64max |
| PARAM_VALUE | 4 | args->astparam | 4096-ptr_max |
| PARAM_VALUE | 4 | args->lksb | 4096-ptr_max |
| PARAM_VALUE | 4 | args->mode | 0-5 |
| BUF_SIZE | 0 | ls | (-1),8,1560 |
| BUF_SIZE | 0 | ls | (-1),8,1560 |
| BUF_SIZE | 2 | name | (-1),1-64 |
| BUF_SIZE | 2 | name | (-1),1-64 |
| DATA_SOURCE | 0 | ls | $0 |
| DATA_SOURCE | 2 | name | $4 |
| DATA_SOURCE | 3 | len | $5 |
| STR_LEN | 0 | ls | (-1)-1010101 |
| STR_LEN | 0 | ls | (-1)-1010101 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | 0 | &ls->ls_in_recovery | |
| HALF_LOCKED2 | &ls->ls_sem | ||
| TYPE_LOCK | (struct dlm_ls)->ls_in_recovery |
fs/dlm/lock.c dlm_user_request() -> request_lock()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ls | 4096-ptr_max |
| PARAM_VALUE | 0 | ls->ls_in_recovery.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ls->ls_in_recovery.first_waiter->list.next | 2212933610777083904 |
| PARAM_VALUE | 0 | ls->ls_in_recovery.first_waiter->list.prev | 2212933610777083904 |
| PARAM_VALUE | 0 | ls->ls_in_recovery.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | ls->ls_lkbxa.xa_flags | 4-u32max |
| PARAM_VALUE | 0 | ls->ls_lkbxa.xa_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ls->ls_lkbxa_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ls->ls_lkbxa_lock.owner | (-1) |
| PARAM_VALUE | 0 | ls->ls_lkbxa_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | ls->ls_lkbxa_lock.raw_lock.cnts.counter | 0-s32max |
| PARAM_VALUE | 0 | ls->ls_lkbxa_lock.raw_lock.wlocked | 0 |
| PARAM_VALUE | 1 | lkb | 4096-ptr_max |
| PARAM_VALUE | 1 | lkb->lkb_grmode | (-1) |
| PARAM_VALUE | 1 | lkb->lkb_last_bast_cb_mode | (-1) |
| PARAM_VALUE | 1 | lkb->lkb_last_cast_cb_mode | (-1) |
| PARAM_VALUE | 1 | lkb->lkb_last_cb_mode | (-1) |
| PARAM_VALUE | 1 | lkb->lkb_nodeid | (-1) |
| PARAM_VALUE | 1 | lkb->lkb_ref.refcount.refs.counter | 1 |
| PARAM_VALUE | 4 | args | 8818130164886511616 |
| PARAM_VALUE | 4 | args->astfn | 5576085434078453760 |
| PARAM_VALUE | 4 | args->astparam | 4096-ptr_max |
| PARAM_VALUE | 4 | args->lksb | 4096-ptr_max |
| PARAM_VALUE | 4 | args->mode | 0-5 |
| BUF_SIZE | 0 | ls | (-1),8,128,1560 |
| BUF_SIZE | 0 | ls | (-1),8,128,1560 |
| DATA_SOURCE | 0 | ls | $0 |
| DATA_SOURCE | 2 | name | $4 |
| DATA_SOURCE | 3 | len | $5 |
| USER_DATA | 3 | len | 0-255[u] |
| USER_DATA | 4 | args->flags | 0-u32max[u] |
| USER_DATA | 4 | args->mode | 0-5[u] |
| LOCK2 | 0 | &ls->ls_in_recovery | |
| TYPE_LOCK | (struct dlm_ls)->ls_in_recovery |