Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

fs/nfs/nfs3client.c nfs3_create_server() -> nfs_create_server()

Type Parameter Key Value
PARAM_VALUE 0 fc 4096-ptr_max
PARAM_VALUE 0 fc->cred->process_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 fc->cred->process_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 fc->cred->request_key_auth->user->qnbytes s32min-s32max
PARAM_VALUE 0 fc->cred->request_key_auth->user->qnkeys s32min-s32max
PARAM_VALUE 0 fc->cred->session_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 fc->cred->session_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 fc->cred->thread_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 fc->cred->thread_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 fc->fs_private->flags 0-4294967295
PARAM_VALUE 0 fc->fs_private->mount_server.protocol 0-u16max
PARAM_VALUE 0 fc->fs_private->nfs_mod->nfs_fs 1729052651216490496,7177152252406210560
PARAM_VALUE 0 fc->fs_private->nfs_mod->rpc_ops 2745445977497358336,4952832880452337664,6616820525242228736
PARAM_VALUE 0 fc->fs_private->nfs_mod->rpc_vers 7152148096707231744,9055765444061691904,9212129556327780352
PARAM_VALUE 0 fc->fs_private->nfs_mod->sops 3725932346499026944,8759364056279080960
PARAM_VALUE 0 fc->fs_private->nfs_mod->xattr 0,8888933809581416448
PARAM_VALUE 0 fc->fs_private->nfs_server._address.sin6_port 0-u16max
PARAM_VALUE 0 fc->fs_private->nfs_server._address.sin_port 0-u16max
PARAM_VALUE 0 fc->fs_private->nfs_server._address.ss_family 2,10
PARAM_VALUE 0 fc->fs_private->nfs_server.port s32min-(-2),0-s32max
PARAM_VALUE 0 fc->fs_private->nfs_server.protocol 6,256,258
PARAM_VALUE 0 fc->fs_private->options 2-4294967295
PARAM_VALUE 0 fc->fs_type 4096-ptr_max
PARAM_VALUE 0 fc->fs_type->owner 0,4096-ptr_max
PARAM_VALUE 0 fc->fs_type->owner->refcnt.counter 0-s32max
PARAM_VALUE 0 fc->ops 4096-ptr_max
PARAM_VALUE 0 fc->root 0
PARAM_VALUE 0 fc->source 4096-ptr_max
PARAM_VALUE 0 *fc->fs_private->nfs_server.export_path 0-255
PARAM_VALUE 0 *fc->fs_private->nfs_server.hostname 0-255
BUF_SIZE 0 fc s32min-(-1),1-s32max
BUF_SIZE 0 fc s32min-(-1),1-s32max
CAPPED_DATA 0 fc->fs_private->mount_server.protocol 1
CAPPED_DATA 0 fc->fs_private->mountfamily 1
CAPPED_DATA 0 fc->fs_private->protofamily 1
DATA_SOURCE 0 fc $0
STR_LEN 0 fc (-1),8
STR_LEN 0 fc (-1),8
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 fc->sb_flags 0-u32max[c]
USER_DATA 0 *fc->source 0-255
HALF_LOCKED2 0 &fc->uapi_mutex

fs/nfs/super.c nfs_try_get_tree() -> (struct nfs_rpc_ops)->create_server()

Type Parameter Key Value
PARAM_VALUE 0 fc 4096-ptr_max
PARAM_VALUE 0 fc->cred->process_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 fc->cred->process_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 fc->cred->request_key_auth->user->qnbytes s32min-s32max
PARAM_VALUE 0 fc->cred->request_key_auth->user->qnkeys s32min-s32max
PARAM_VALUE 0 fc->cred->session_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 fc->cred->session_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 fc->cred->thread_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 fc->cred->thread_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 fc->fs_private->flags 0-4294967295
PARAM_VALUE 0 fc->fs_private->mount_server.protocol 0-u16max
PARAM_VALUE 0 fc->fs_private->nfs_mod->nfs_fs 1729052651216490496,7177152252406210560
PARAM_VALUE 0 fc->fs_private->nfs_mod->owner 0
PARAM_VALUE 0 fc->fs_private->nfs_mod->rpc_ops 2745445977497358336,4952832880452337664,6616820525242228736
PARAM_VALUE 0 fc->fs_private->nfs_mod->rpc_vers 7152148096707231744,9055765444061691904,9212129556327780352
PARAM_VALUE 0 fc->fs_private->nfs_mod->sops 3725932346499026944,8759364056279080960
PARAM_VALUE 0 fc->fs_private->nfs_mod->xattr 0,8888933809581416448
PARAM_VALUE 0 fc->fs_private->nfs_server._address.sin6_port 0-u16max
PARAM_VALUE 0 fc->fs_private->nfs_server._address.sin_port 0-u16max
PARAM_VALUE 0 fc->fs_private->nfs_server._address.ss_family 2,10
PARAM_VALUE 0 fc->fs_private->nfs_server.port s32min-(-2),0-s32max
PARAM_VALUE 0 fc->fs_private->nfs_server.protocol 6,256,258
PARAM_VALUE 0 fc->fs_private->options 2-4294967295
PARAM_VALUE 0 fc->fs_type 4096-ptr_max
PARAM_VALUE 0 fc->fs_type->owner 0,4096-ptr_max
PARAM_VALUE 0 fc->fs_type->owner->refcnt.counter 0-s32max
PARAM_VALUE 0 fc->ops 4096-ptr_max
PARAM_VALUE 0 fc->root 0
PARAM_VALUE 0 fc->source 4096-ptr_max
PARAM_VALUE 0 *fc->fs_private->nfs_server.export_path 0-255
PARAM_VALUE 0 *fc->fs_private->nfs_server.hostname 0-255
BUF_SIZE 0 fc s32min-(-1),1-s32max
BUF_SIZE 0 fc s32min-(-1),1-s32max
CAPPED_DATA 0 fc->fs_private->mountfamily 1
CAPPED_DATA 0 fc->fs_private->protofamily 1
DATA_SOURCE 0 fc $0
STR_LEN 0 fc (-1),8
STR_LEN 0 fc (-1),8
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 fc->sb_flags 0-u32max[c]
USER_DATA 0 *fc->source 0-255
HALF_LOCKED2 0 &fc->uapi_mutex

fs/nfs/super.c nfs_try_mount_request() -> (struct nfs_rpc_ops)->create_server()

Type Parameter Key Value
PARAM_VALUE 0 fc 4096-ptr_max
PARAM_VALUE 0 fc->cred->process_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 fc->cred->process_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 fc->cred->request_key_auth->user->qnbytes s32min-s32max
PARAM_VALUE 0 fc->cred->request_key_auth->user->qnkeys s32min-s32max
PARAM_VALUE 0 fc->cred->session_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 fc->cred->session_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 fc->cred->thread_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 fc->cred->thread_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 fc->fs_private 4096-ptr_max
PARAM_VALUE 0 fc->fs_private->flags 0-4294967295
PARAM_VALUE 0 fc->fs_private->mount_server.port s32min-(-2),0-s32max
PARAM_VALUE 0 fc->fs_private->mount_server.protocol 6,17,256,258
PARAM_VALUE 0 fc->fs_private->mount_server.version 1,3
PARAM_VALUE 0 fc->fs_private->nfs_mod->nfs_fs 1729052651216490496,7177152252406210560
PARAM_VALUE 0 fc->fs_private->nfs_mod->rpc_ops 2745445977497358336,4952832880452337664,6616820525242228736
PARAM_VALUE 0 fc->fs_private->nfs_mod->rpc_vers 7152148096707231744,9055765444061691904,9212129556327780352
PARAM_VALUE 0 fc->fs_private->nfs_mod->sops 3725932346499026944,8759364056279080960
PARAM_VALUE 0 fc->fs_private->nfs_mod->xattr 0,8888933809581416448
PARAM_VALUE 0 fc->fs_private->nfs_server._address.sin6_port 0-u16max
PARAM_VALUE 0 fc->fs_private->nfs_server._address.sin_port 0-u16max
PARAM_VALUE 0 fc->fs_private->nfs_server._address.ss_family 2,10
PARAM_VALUE 0 fc->fs_private->nfs_server.export_path 4096-ptr_max
PARAM_VALUE 0 fc->fs_private->nfs_server.port s32min-(-2),0-s32max
PARAM_VALUE 0 fc->fs_private->nfs_server.protocol 6,256,258
PARAM_VALUE 0 fc->fs_private->options 2-4294967295
PARAM_VALUE 0 fc->fs_type 4096-ptr_max
PARAM_VALUE 0 fc->fs_type->owner 0,4096-ptr_max
PARAM_VALUE 0 fc->fs_type->owner->refcnt.counter 0-s32max
PARAM_VALUE 0 fc->ops 4096-ptr_max
PARAM_VALUE 0 fc->root 0
PARAM_VALUE 0 fc->source 4096-ptr_max
PARAM_VALUE 0 *fc->fs_private->nfs_server.export_path 0-255
PARAM_VALUE 0 *fc->fs_private->nfs_server.hostname 0-255
BUF_SIZE 0 fc s32min-(-1),1-s32max
BUF_SIZE 0 fc s32min-(-1),1-s32max
CAPPED_DATA 0 fc->fs_private->mount_server.protocol 1
CAPPED_DATA 0 fc->fs_private->mountfamily 1
CAPPED_DATA 0 fc->fs_private->protofamily 1
DATA_SOURCE 0 fc $0
STR_LEN 0 fc (-1),8
STR_LEN 0 fc (-1),8
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 fc->sb_flags 0-u32max[c]
USER_DATA 0 *fc->source 0-255
HALF_LOCKED2 0 &fc->uapi_mutex

fs/nfs/super.c nfs_try_mount_request() -> (struct nfs_rpc_ops)->create_server()

Type Parameter Key Value
PARAM_VALUE 0 fc 4096-ptr_max
PARAM_VALUE 0 fc->cred->process_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 fc->cred->process_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 fc->cred->request_key_auth->user->qnbytes s32min-s32max
PARAM_VALUE 0 fc->cred->request_key_auth->user->qnkeys s32min-s32max
PARAM_VALUE 0 fc->cred->session_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 fc->cred->session_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 fc->cred->thread_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 fc->cred->thread_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 fc->fs_private 4096-ptr_max
PARAM_VALUE 0 fc->fs_private->flags 0-4294967295
PARAM_VALUE 0 fc->fs_private->mount_server.port s32min-(-2),0-s32max
PARAM_VALUE 0 fc->fs_private->mount_server.protocol 6,17,256,258
PARAM_VALUE 0 fc->fs_private->mount_server.version 1,3
PARAM_VALUE 0 fc->fs_private->nfs_mod->nfs_fs 1729052651216490496,7177152252406210560
PARAM_VALUE 0 fc->fs_private->nfs_mod->rpc_ops 2745445977497358336,4952832880452337664,6616820525242228736
PARAM_VALUE 0 fc->fs_private->nfs_mod->rpc_vers 7152148096707231744,9055765444061691904,9212129556327780352
PARAM_VALUE 0 fc->fs_private->nfs_mod->sops 3725932346499026944,8759364056279080960
PARAM_VALUE 0 fc->fs_private->nfs_mod->xattr 0,8888933809581416448
PARAM_VALUE 0 fc->fs_private->nfs_server._address.sin6_port 0-u16max
PARAM_VALUE 0 fc->fs_private->nfs_server._address.sin_port 0-u16max
PARAM_VALUE 0 fc->fs_private->nfs_server._address.ss_family 2,10
PARAM_VALUE 0 fc->fs_private->nfs_server.export_path 4096-ptr_max
PARAM_VALUE 0 fc->fs_private->nfs_server.port s32min-(-2),0-s32max
PARAM_VALUE 0 fc->fs_private->nfs_server.protocol 6,256,258
PARAM_VALUE 0 fc->fs_private->options 2-4294967295
PARAM_VALUE 0 fc->fs_type 4096-ptr_max
PARAM_VALUE 0 fc->fs_type->owner 0,4096-ptr_max
PARAM_VALUE 0 fc->fs_type->owner->refcnt.counter 0-s32max
PARAM_VALUE 0 fc->ops 4096-ptr_max
PARAM_VALUE 0 fc->root 0
PARAM_VALUE 0 fc->source 4096-ptr_max
PARAM_VALUE 0 *fc->fs_private->nfs_server.export_path 0-255
PARAM_VALUE 0 *fc->fs_private->nfs_server.hostname 0-255
BUF_SIZE 0 fc s32min-(-1),1-s32max
BUF_SIZE 0 fc s32min-(-1),1-s32max
CAPPED_DATA 0 fc->fs_private->mount_server.protocol 1
CAPPED_DATA 0 fc->fs_private->mountfamily 1
CAPPED_DATA 0 fc->fs_private->protofamily 1
DATA_SOURCE 0 fc $0
STR_LEN 0 fc (-1),8
STR_LEN 0 fc (-1),8
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 fc->sb_flags 0-u32max[c]
USER_DATA 0 *fc->source 0-255
HALF_LOCKED2 0 &fc->uapi_mutex

fs/nfs/super.c nfs_try_mount_request() -> (struct nfs_rpc_ops)->create_server()

Type Parameter Key Value
PARAM_VALUE 0 fc 4096-ptr_max
PARAM_VALUE 0 fc->cred->process_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 fc->cred->process_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 fc->cred->request_key_auth->user->qnbytes s32min-s32max
PARAM_VALUE 0 fc->cred->request_key_auth->user->qnkeys s32min-s32max
PARAM_VALUE 0 fc->cred->session_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 fc->cred->session_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 fc->cred->thread_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 fc->cred->thread_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 fc->fs_private 4096-ptr_max
PARAM_VALUE 0 fc->fs_private->flags 0-4294967295
PARAM_VALUE 0 fc->fs_private->mount_server.port s32min-(-2),0-s32max
PARAM_VALUE 0 fc->fs_private->mount_server.protocol 6,17,256,258
PARAM_VALUE 0 fc->fs_private->mount_server.version 1,3
PARAM_VALUE 0 fc->fs_private->nfs_mod->nfs_fs 1729052651216490496,7177152252406210560
PARAM_VALUE 0 fc->fs_private->nfs_mod->rpc_ops 2745445977497358336,4952832880452337664,6616820525242228736
PARAM_VALUE 0 fc->fs_private->nfs_mod->rpc_vers 7152148096707231744,9055765444061691904,9212129556327780352
PARAM_VALUE 0 fc->fs_private->nfs_mod->sops 3725932346499026944,8759364056279080960
PARAM_VALUE 0 fc->fs_private->nfs_mod->xattr 0,8888933809581416448
PARAM_VALUE 0 fc->fs_private->nfs_server._address.sin6_port 0-u16max
PARAM_VALUE 0 fc->fs_private->nfs_server._address.sin_port 0-u16max
PARAM_VALUE 0 fc->fs_private->nfs_server._address.ss_family 2,10
PARAM_VALUE 0 fc->fs_private->nfs_server.export_path 4096-ptr_max
PARAM_VALUE 0 fc->fs_private->nfs_server.port s32min-(-2),0-s32max
PARAM_VALUE 0 fc->fs_private->nfs_server.protocol 6,256,258
PARAM_VALUE 0 fc->fs_private->options 2-4294967295
PARAM_VALUE 0 fc->fs_type 4096-ptr_max
PARAM_VALUE 0 fc->fs_type->owner 0,4096-ptr_max
PARAM_VALUE 0 fc->fs_type->owner->refcnt.counter 0-s32max
PARAM_VALUE 0 fc->ops 4096-ptr_max
PARAM_VALUE 0 fc->root 0
PARAM_VALUE 0 fc->source 4096-ptr_max
PARAM_VALUE 0 *fc->fs_private->nfs_server.export_path 0-255
PARAM_VALUE 0 *fc->fs_private->nfs_server.hostname 0-255
BUF_SIZE 0 fc s32min-(-1),1-s32max
BUF_SIZE 0 fc s32min-(-1),1-s32max
CAPPED_DATA 0 fc->fs_private->mount_server.protocol 1
CAPPED_DATA 0 fc->fs_private->mountfamily 1
CAPPED_DATA 0 fc->fs_private->protofamily 1
DATA_SOURCE 0 fc $0
STR_LEN 0 fc (-1),8
STR_LEN 0 fc (-1),8
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 fc->sb_flags 0-u32max[c]
USER_DATA 0 *fc->source 0-255
HALF_LOCKED2 0 &fc->uapi_mutex