Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/nfs/flexfilelayout/flexfilelayoutdev.c ff_layout_fetch_ds_ioerr() -> do_layout_fetch_ds_ioerr()

Type Parameter Key Value
PARAM_VALUE 0 lo 4096-ptr_max
PARAM_VALUE 1 range 4096-ptr_max
PARAM_VALUE 2 head 4096-ptr_max
PARAM_VALUE 2 head->next 4096-ptr_max
PARAM_VALUE 2 head->prev 4096-ptr_max
PARAM_VALUE 3 maxnum 20,u32max
DATA_SOURCE 0 lo $0
DATA_SOURCE 1 range $1
DATA_SOURCE 2 head $2
DATA_SOURCE 3 maxnum $3
HARD_MAX 3 maxnum u32max
RX_PATH
TASK_NOT_RUNNING

fs/nfs/flexfilelayout/flexfilelayoutdev.c ff_layout_fetch_ds_ioerr() -> do_layout_fetch_ds_ioerr()

Type Parameter Key Value
PARAM_VALUE 0 lo 4096-ptr_max
PARAM_VALUE 0 lo->plh_inode 4096-ptr_max
PARAM_VALUE 0 lo->plh_inode->i_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 range 4096-ptr_max
PARAM_VALUE 2 head 47516556000755712
PARAM_VALUE 2 head->next 47516556000755712
PARAM_VALUE 2 head->prev 47516556000755712
PARAM_VALUE 3 maxnum u32max
DATA_SOURCE 0 lo $0
DATA_SOURCE 1 range $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL