Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/dlm/lock.c convert_lock() -> validate_lock_args()

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_lock.dep_map->name 0-255
PARAM_VALUE 1 lkb 4096-ptr_max
PARAM_VALUE 1 lkb->lkb_resource 4096-ptr_max
PARAM_VALUE 1 lkb->lkb_resource->res_lock.rlock.dep_map->name 0-255
PARAM_VALUE 2 args 4559115803390660608,8444219967856197632
PARAM_VALUE 2 args->astfn 1-u64max
PARAM_VALUE 2 args->astparam 4096-ptr_max
PARAM_VALUE 2 args->lksb 4096-ptr_max
PARAM_VALUE 2 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 1 lkb $1
DATA_SOURCE 2 args $2
STR_LEN 0 ls (-1)-1010101
STR_LEN 0 ls (-1)-1010101
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 args->flags 0-u32max[u]
USER_DATA 2 args->mode 0-5[u]
LOCK2 &r->res_lock
LOCK2 bh
LOCK2 0 &ls->ls_in_recovery
TYPE_LOCK (struct dlm_ls)->ls_in_recovery
TYPE_LOCK (struct dlm_rsb)->res_lock

fs/dlm/lock.c request_lock() -> validate_lock_args()

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 2 args 4559115803390660608,8818130164886511616
PARAM_VALUE 2 args->astfn 1-u64max
PARAM_VALUE 2 args->astparam 4096-ptr_max
PARAM_VALUE 2 args->lksb 4096-ptr_max
PARAM_VALUE 2 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 1 lkb $1
DATA_SOURCE 2 args $4
STR_LEN 0 ls (-1)-1010101
STR_LEN 0 ls (-1)-1010101
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 args->flags 0-u32max[u]
USER_DATA 2 args->mode 0-5[u]
LOCK2 0 &ls->ls_in_recovery
TYPE_LOCK (struct dlm_ls)->ls_in_recovery