Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 6 files:

Smatch caller information:

fs/nfs/blocklayout/blocklayout.c bl_find_get_deviceid() -> nfs4_mark_deviceid_unavailable()

Type Parameter Key Value
PARAM_VALUE 0 node 4096-ptr_max
PARAM_VALUE 0 node->flags 0
BUF_SIZE 0 node (-1),104
BUF_SIZE 0 node (-1),104
DATA_SOURCE 0 node r nfs4_find_get_deviceid
RX_PATH
NOCHECK_CALL

fs/nfs/blocklayout/blocklayout.c bl_mark_devices_unavailable() -> nfs4_mark_deviceid_unavailable()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/nfs/blocklayout/dev.c bl_alloc_deviceid_node() -> nfs4_mark_deviceid_unavailable()

Type Parameter Key Value
PARAM_VALUE 0 node 4096-ptr_max
PARAM_VALUE 0 node->flags 0
BUF_SIZE 0 node 104
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/nfs/flexfilelayout/flexfilelayout.c ff_layout_mark_ds_unreachable() -> nfs4_mark_deviceid_unavailable()

Type Parameter Key Value
PARAM_VALUE 0 node 1-ptr_max
BUF_SIZE 0 node 104
DATA_SOURCE 0 node r FF_LAYOUT_DEVID_NODE
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

fs/nfs/filelayout/filelayoutdev.c nfs4_fl_prepare_ds() -> nfs4_mark_deviceid_unavailable()

Type Parameter Key Value
BUF_SIZE 0 node 104
DATA_SOURCE 0 node r FILELAYOUT_DEVID_NODE
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/nfs/filelayout/filelayout.c filelayout_async_handle_error() -> nfs4_mark_deviceid_unavailable()

Type Parameter Key Value
BUF_SIZE 0 node 104
DATA_SOURCE 0 node r FILELAYOUT_DEVID_NODE
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock