Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/dlm/rcom.c dlm_receive_rcom() -> receive_rcom_lock()

Type Parameter Key Value
PARAM_VALUE 0 ls 4096-ptr_max
PARAM_VALUE 0 ls->ls_recover_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ls->ls_recover_status 4-u32max
PARAM_VALUE 0 ls->ls_recv_active.dep_map->name 0-255
PARAM_VALUE 1 rc_in 4096-ptr_max
PARAM_VALUE 1 rc_in->rc_header.h_length 156-u16max
PARAM_VALUE 1 rc_in->rc_type 4
CAPPED_DATA 0 ls->ls_global_id 1
DATA_SOURCE 0 ls $0
DATA_SOURCE 1 rc_in $1
FUZZY_MAX 1 rc_in->rc_header.h_length 156
NOCHECK_CALL
LOCK2 &pool->lock
LOCK2 0 &ls->ls_recv_active
HALF_LOCKED2 global &nodes_srcu
TYPE_LOCK (struct dlm_ls)->ls_recv_active