Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

fs/fuse/virtio_fs.c virtio_fs_fill_super() -> fuse_send_init()

Type Parameter Key Value
PARAM_VALUE 0 fm 4096-ptr_max
PARAM_VALUE 0 fm->fc 4096-ptr_max
PARAM_VALUE 0 fm->fc->chan 4096-ptr_max
PARAM_VALUE 0 fm->fc->dax_mode 0-4294967295
PARAM_VALUE 0 fm->fc->dev 0-4294967295
PARAM_VALUE 0 fm->fc->dont_mask 0-1
PARAM_VALUE 0 fm->fc->group_id.val 0-4294967295
PARAM_VALUE 0 fm->fc->max_read 0-4294967295
PARAM_VALUE 0 fm->fc->sync_fs 0-1
PARAM_VALUE 0 fm->fc->sync_init 0-1
PARAM_VALUE 0 fm->fc->user_id.val 0-4294967295
PARAM_VALUE 0 fm->sb->s_blocksize_bits 0-255
PARAM_VALUE 0 fm->sb->s_time_gran 0-4294967295
BUF_SIZE 0 fm 1-s32max
BUF_SIZE 0 fm 1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 fm unit_byte
LOCK2 global &virtio_fs_mutex
HALF_LOCKED2 &fsc->uapi_mutex

fs/fuse/inode.c fuse_fill_super() -> fuse_send_init()

Type Parameter Key Value
PARAM_VALUE 0 fm 4096-ptr_max
BUF_SIZE 0 fm 1-s32max
BUF_SIZE 0 fm 1-s32max
RX_PATH
TASK_NOT_RUNNING
UNITS 0 fm unit_byte
HALF_LOCKED2 &fsc->uapi_mutex