Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/nfs/pnfs_nfs.c nfs4_pnfs_ds_add() -> _data_server_lookup_locked()

Type Parameter Key Value
PARAM_VALUE 0 nn 4096-ptr_max
PARAM_VALUE 0 nn->nfs4_data_server_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 dsaddrs 6309155767790379008,8759813733378297856
PARAM_VALUE 1 dsaddrs->next 4096-6309155767790379007,6309155767790379009-ptr_max
PARAM_VALUE 1 dsaddrs->prev 4096-ptr_max
CAPPED_DATA 1 dsaddrs 1
DATA_SOURCE 0 nn r net_generic
DATA_SOURCE 1 dsaddrs $1
PARAM_COMPARE 1 dsaddrs != $1->next
PARAM_COMPARE 1 dsaddrs != $1->next
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 0 &nn->nfs4_data_server_lock
TYPE_LOCK (struct nfs_net)->nfs4_data_server_lock