Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/nfs/blocklayout/dev.c bl_alloc_deviceid_node() -> bl_parse_deviceid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | server | 4096-ptr_max |
| PARAM_VALUE | 0 | server->nfs_client | 4096-ptr_max |
| PARAM_VALUE | 0 | server->nfs_client->cl_idmap->idmap_pdo->pdo_data->pipe->dentry->d_fsdata->d_fsdata | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | server->nfs_client->cl_idmap->idmap_pdo->pdo_data->pipe->dentry->d_fsdata->name | 0-255 |
| PARAM_VALUE | 0 | server->nfs_client->cl_mvops | 4096-ptr_max |
| PARAM_VALUE | 0 | server->nfs_client->cl_mvops->call_sync_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | server->nfs_client->cl_ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | server->nfs_client->cl_ns_tracker->dead | 0-1 |
| PARAM_VALUE | 0 | server->nfs_client->cl_ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | server->nfs_client->cl_rpcclient->cl_cred->process_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | server->nfs_client->cl_rpcclient->cl_cred->process_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | server->nfs_client->cl_rpcclient->cl_cred->request_key_auth->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | server->nfs_client->cl_rpcclient->cl_cred->request_key_auth->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | server->nfs_client->cl_rpcclient->cl_cred->session_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | server->nfs_client->cl_rpcclient->cl_cred->session_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | server->nfs_client->cl_rpcclient->cl_cred->thread_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | server->nfs_client->cl_rpcclient->cl_cred->thread_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | server->nfs_client->cl_rpcclient->cl_cred->ucounts->ns->work.entry.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | server->nfs_client->cl_rpcclient->cl_cred->user->uidhash_node.next->pprev | 1-u64max |
| PARAM_VALUE | 0 | server->nfs_client->cl_rpcclient->cl_cred->user_ns->work.entry.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | server->nfs_client->cl_session | 4096-ptr_max |
| PARAM_VALUE | 0 | server->pnfs_curr_ld | 4096-ptr_max |
| PARAM_VALUE | 0 | server->pnfs_curr_ld->id | 1,3-5 |
| PARAM_VALUE | 0 | *server->nfs_client->cl_rpcclient->cl_cred->user->uidhash_node.next->pprev | 1-u64max |
| PARAM_VALUE | 1 | d | 4096-ptr_max |
| PARAM_VALUE | 2 | volumes | 16,4096-ptr_max |
| PARAM_VALUE | 4 | gfp_mask | 3072,3136,3264,76992 |
| BUF_SIZE | 0 | server | 1-s32max |
| BUF_SIZE | 0 | server | 1-s32max |
| BUF_SIZE | 1 | d | 184 |
| BUF_SIZE | 2 | volumes | 0-u64max |
| CAPPED_DATA | 3 | idx | 1 |
| DATA_SOURCE | 0 | server | $0 |
| DATA_SOURCE | 1 | d | r _kzalloc_noprof |
| DATA_SOURCE | 2 | volumes | r _kzalloc_noprof |
| DATA_SOURCE | 4 | gfp_mask | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
fs/nfs/blocklayout/dev.c bl_parse_concat() -> bl_parse_deviceid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | server->nfs_client->cl_mvops->call_sync_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | server->nfs_client->cl_ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | server->nfs_client->cl_ns_tracker->dead | 0-1 |
| PARAM_VALUE | 0 | server->nfs_client->cl_ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | server->pnfs_curr_ld->add_lseg | 0,4096-ptr_max |
| PARAM_VALUE | 0 | server->pnfs_curr_ld->alloc_deviceid_node | 4096-ptr_max |
| PARAM_VALUE | 0 | server->pnfs_curr_ld->alloc_layout_hdr | 4096-ptr_max |
| PARAM_VALUE | 0 | server->pnfs_curr_ld->alloc_lseg | 4096-ptr_max |
| PARAM_VALUE | 0 | server->pnfs_curr_ld->cancel_io | 0,4096-ptr_max |
| PARAM_VALUE | 0 | server->pnfs_curr_ld->flags | 7-8 |
| PARAM_VALUE | 0 | server->pnfs_curr_ld->free_deviceid_node | 4096-ptr_max |
| PARAM_VALUE | 0 | server->pnfs_curr_ld->free_layout_hdr | 4096-ptr_max |
| PARAM_VALUE | 0 | server->pnfs_curr_ld->free_lseg | 4096-ptr_max |
| PARAM_VALUE | 0 | server->pnfs_curr_ld->get_ds_info | 0,4096-ptr_max |
| PARAM_VALUE | 0 | server->pnfs_curr_ld->id | 1,3-5 |
| PARAM_VALUE | 0 | server->pnfs_curr_ld->max_layoutget_response | 0,4096 |
| PARAM_VALUE | 0 | server->pnfs_curr_ld->name | 4096-ptr_max |
| PARAM_VALUE | 0 | server->pnfs_curr_ld->owner | 0 |
| PARAM_VALUE | 0 | server->pnfs_curr_ld->pg_read_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | server->pnfs_curr_ld->pg_write_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | server->pnfs_curr_ld->read_pagelist | 4096-ptr_max |
| PARAM_VALUE | 0 | server->pnfs_curr_ld->return_range | 0,4096-ptr_max |
| PARAM_VALUE | 0 | server->pnfs_curr_ld->set_layoutdriver | 0,4096-ptr_max |
| PARAM_VALUE | 0 | server->pnfs_curr_ld->sync | 4096-ptr_max |
| PARAM_VALUE | 0 | server->pnfs_curr_ld->write_pagelist | 4096-ptr_max |
| PARAM_VALUE | 1 | d | 4096-ptr_max |
| PARAM_VALUE | 2 | volumes | 4096-ptr_max |
| BUF_SIZE | 0 | server | (-1),1-s32max |
| BUF_SIZE | 0 | server | (-1),1-s32max |
| DATA_SOURCE | 0 | server | $0 |
| DATA_SOURCE | 2 | volumes | $2 |
| DATA_SOURCE | 4 | gfp_mask | $4 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
fs/nfs/blocklayout/dev.c bl_parse_slice() -> bl_parse_deviceid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | server->nfs_client->cl_mvops->call_sync_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | server->nfs_client->cl_ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | server->nfs_client->cl_ns_tracker->dead | 0-1 |
| PARAM_VALUE | 0 | server->nfs_client->cl_ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | server->pnfs_curr_ld->add_lseg | 0,4096-ptr_max |
| PARAM_VALUE | 0 | server->pnfs_curr_ld->alloc_deviceid_node | 4096-ptr_max |
| PARAM_VALUE | 0 | server->pnfs_curr_ld->alloc_layout_hdr | 4096-ptr_max |
| PARAM_VALUE | 0 | server->pnfs_curr_ld->alloc_lseg | 4096-ptr_max |
| PARAM_VALUE | 0 | server->pnfs_curr_ld->cancel_io | 0,4096-ptr_max |
| PARAM_VALUE | 0 | server->pnfs_curr_ld->flags | 7-8 |
| PARAM_VALUE | 0 | server->pnfs_curr_ld->free_deviceid_node | 4096-ptr_max |
| PARAM_VALUE | 0 | server->pnfs_curr_ld->free_layout_hdr | 4096-ptr_max |
| PARAM_VALUE | 0 | server->pnfs_curr_ld->free_lseg | 4096-ptr_max |
| PARAM_VALUE | 0 | server->pnfs_curr_ld->get_ds_info | 0,4096-ptr_max |
| PARAM_VALUE | 0 | server->pnfs_curr_ld->id | 1,3-5 |
| PARAM_VALUE | 0 | server->pnfs_curr_ld->max_layoutget_response | 0,4096 |
| PARAM_VALUE | 0 | server->pnfs_curr_ld->name | 4096-ptr_max |
| PARAM_VALUE | 0 | server->pnfs_curr_ld->owner | 0 |
| PARAM_VALUE | 0 | server->pnfs_curr_ld->pg_read_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | server->pnfs_curr_ld->pg_write_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | server->pnfs_curr_ld->read_pagelist | 4096-ptr_max |
| PARAM_VALUE | 0 | server->pnfs_curr_ld->return_range | 0,4096-ptr_max |
| PARAM_VALUE | 0 | server->pnfs_curr_ld->set_layoutdriver | 0,4096-ptr_max |
| PARAM_VALUE | 0 | server->pnfs_curr_ld->sync | 4096-ptr_max |
| PARAM_VALUE | 0 | server->pnfs_curr_ld->write_pagelist | 4096-ptr_max |
| PARAM_VALUE | 1 | d | 4096-ptr_max |
| PARAM_VALUE | 1 | d->type | 1 |
| PARAM_VALUE | 2 | volumes | 4096-ptr_max |
| BUF_SIZE | 0 | server | (-1),1-s32max |
| BUF_SIZE | 0 | server | (-1),1-s32max |
| BUF_SIZE | 1 | d | (-1),184 |
| BUF_SIZE | 1 | d | (-1),184 |
| DATA_SOURCE | 0 | server | $0 |
| DATA_SOURCE | 1 | d | $1 |
| DATA_SOURCE | 2 | volumes | $2 |
| DATA_SOURCE | 4 | gfp_mask | $4 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
fs/nfs/blocklayout/dev.c bl_parse_stripe() -> bl_parse_deviceid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | server->nfs_client->cl_mvops->call_sync_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | server->nfs_client->cl_ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | server->nfs_client->cl_ns_tracker->dead | 0-1 |
| PARAM_VALUE | 0 | server->nfs_client->cl_ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | server->pnfs_curr_ld->add_lseg | 0,4096-ptr_max |
| PARAM_VALUE | 0 | server->pnfs_curr_ld->alloc_deviceid_node | 4096-ptr_max |
| PARAM_VALUE | 0 | server->pnfs_curr_ld->alloc_layout_hdr | 4096-ptr_max |
| PARAM_VALUE | 0 | server->pnfs_curr_ld->alloc_lseg | 4096-ptr_max |
| PARAM_VALUE | 0 | server->pnfs_curr_ld->cancel_io | 0,4096-ptr_max |
| PARAM_VALUE | 0 | server->pnfs_curr_ld->flags | 7-8 |
| PARAM_VALUE | 0 | server->pnfs_curr_ld->free_deviceid_node | 4096-ptr_max |
| PARAM_VALUE | 0 | server->pnfs_curr_ld->free_layout_hdr | 4096-ptr_max |
| PARAM_VALUE | 0 | server->pnfs_curr_ld->free_lseg | 4096-ptr_max |
| PARAM_VALUE | 0 | server->pnfs_curr_ld->get_ds_info | 0,4096-ptr_max |
| PARAM_VALUE | 0 | server->pnfs_curr_ld->id | 1,3-5 |
| PARAM_VALUE | 0 | server->pnfs_curr_ld->max_layoutget_response | 0,4096 |
| PARAM_VALUE | 0 | server->pnfs_curr_ld->name | 4096-ptr_max |
| PARAM_VALUE | 0 | server->pnfs_curr_ld->owner | 0 |
| PARAM_VALUE | 0 | server->pnfs_curr_ld->pg_read_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | server->pnfs_curr_ld->pg_write_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | server->pnfs_curr_ld->read_pagelist | 4096-ptr_max |
| PARAM_VALUE | 0 | server->pnfs_curr_ld->return_range | 0,4096-ptr_max |
| PARAM_VALUE | 0 | server->pnfs_curr_ld->set_layoutdriver | 0,4096-ptr_max |
| PARAM_VALUE | 0 | server->pnfs_curr_ld->sync | 4096-ptr_max |
| PARAM_VALUE | 0 | server->pnfs_curr_ld->write_pagelist | 4096-ptr_max |
| PARAM_VALUE | 1 | d | 4096-ptr_max |
| PARAM_VALUE | 2 | volumes | 4096-ptr_max |
| BUF_SIZE | 0 | server | (-1),1-s32max |
| BUF_SIZE | 0 | server | (-1),1-s32max |
| DATA_SOURCE | 0 | server | $0 |
| DATA_SOURCE | 2 | volumes | $2 |
| DATA_SOURCE | 4 | gfp_mask | $4 |
| RX_PATH | |||
| TASK_NOT_RUNNING |