Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 d 4096-ptr_max
PARAM_VALUE 1 server 4096-ptr_max
PARAM_VALUE 1 server->nfs_client 4096-ptr_max
PARAM_VALUE 1 server->nfs_client->cl_session 4096-ptr_max
PARAM_VALUE 1 server->pnfs_curr_ld 4096-ptr_max
PARAM_VALUE 1 server->pnfs_curr_ld->id 1,3-5
PARAM_VALUE 2 id 4096-ptr_max
BUF_SIZE 0 d 104
BUF_SIZE 1 server 1-s32max
BUF_SIZE 1 server 1-s32max
DATA_SOURCE 1 server $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/nfs/flexfilelayout/flexfilelayoutdev.c nfs4_ff_alloc_deviceid_node() -> nfs4_init_deviceid_node()

Type Parameter Key Value
PARAM_VALUE 0 d 4096-ptr_max
PARAM_VALUE 1 server 4096-ptr_max
PARAM_VALUE 1 server->nfs_client 4096-ptr_max
PARAM_VALUE 1 server->nfs_client->cl_session 4096-ptr_max
PARAM_VALUE 1 server->pnfs_curr_ld 4096-ptr_max
PARAM_VALUE 1 server->pnfs_curr_ld->id 1,3-5
PARAM_VALUE 2 id 4096-ptr_max
BUF_SIZE 1 server 1-s32max
BUF_SIZE 1 server 1-s32max
DATA_SOURCE 1 server $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/nfs/filelayout/filelayoutdev.c nfs4_fl_alloc_deviceid_node() -> nfs4_init_deviceid_node()

Type Parameter Key Value
PARAM_VALUE 0 d 4096-ptr_max
PARAM_VALUE 1 server 4096-ptr_max
PARAM_VALUE 1 server->nfs_client 4096-ptr_max
PARAM_VALUE 1 server->nfs_client->cl_session 4096-ptr_max
PARAM_VALUE 1 server->pnfs_curr_ld 4096-ptr_max
PARAM_VALUE 1 server->pnfs_curr_ld->id 1,3-5
PARAM_VALUE 2 id 4096-ptr_max
BUF_SIZE 1 server 1-s32max
BUF_SIZE 1 server 1-s32max
DATA_SOURCE 1 server $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL