Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/nfs/flexfilelayout/flexfilelayoutdev.c ff_layout_add_ds_error_locked() -> ff_ds_error_match()

Type Parameter Key Value
PARAM_VALUE 0 e1 4096-ptr_max
PARAM_VALUE 1 e2 4096-ptr_max
PARAM_VALUE 1 e2->list.next 4096-ptr_max
PARAM_VALUE 1 e2->list.next->next 4096-ptr_max
PARAM_VALUE 1 e2->list.prev 4096-ptr_max
PARAM_VALUE 1 e2->list.prev->next 4096-ptr_max
PARAM_VALUE 1 e2->list.prev->prev 4096-ptr_max
PARAM_VALUE 1 e2->opnum 5,25,38,10044
PARAM_VALUE 1 e2->stateid->data 0-255
PARAM_VALUE 1 e2->status s32min-(-1),1-s32max
BUF_SIZE 1 e2 80
CAPPED_DATA 0 &e1->list 1
CAPPED_DATA 1 e2->status 1
DATA_SOURCE 1 e2 $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 &flo->generic_hdr.plh_inode->i_lock
TYPE_LOCK (struct inode)->i_lock