Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/fuse/virtio_fs.c virtio_fs_enqueue_req() -> sg_init_fuse_args()

Type Parameter Key Value
PARAM_VALUE 0 sg 4096-ptr_max
PARAM_VALUE 1 req 4096-ptr_max
PARAM_VALUE 1 req->argbuf 16,4096-ptr_max
PARAM_VALUE 1 req->args 4096-ptr_max
PARAM_VALUE 5 argbuf 16,4096-ptr_max
PARAM_VALUE 6 len_used 2914912693262610432
PARAM_VALUE 6 *len_used 0
BUF_SIZE 1 req (-1)-s32max
BUF_SIZE 1 req (-1)-s32max
BUF_SIZE 2 args 64
BUF_SIZE 5 argbuf 1-s32max
CAPPED_DATA 1 &req->in.h 1
DATA_SOURCE 1 req $1
TASK_NOT_RUNNING
USER_DATA 1 req->args->nodeid 1-u64max[c]
USER_DATA 1 req->in.h.nodeid 1-u64max[c]

fs/fuse/virtio_fs.c virtio_fs_enqueue_req() -> sg_init_fuse_args()

Type Parameter Key Value
PARAM_VALUE 1 req 4096-ptr_max
PARAM_VALUE 1 req->argbuf 16,4096-ptr_max
PARAM_VALUE 1 req->args 4096-ptr_max
PARAM_VALUE 5 argbuf 4096-ptr_max
PARAM_VALUE 6 len_used 0
BUF_SIZE 1 req (-1)-s32max
BUF_SIZE 1 req (-1)-s32max
BUF_SIZE 2 args 32
CAPPED_DATA 1 req->argbuf 1
CAPPED_DATA 1 &req->in.h 1
CAPPED_DATA 1 &req->out.h 1
DATA_SOURCE 1 req $1
TASK_NOT_RUNNING
USER_DATA 1 req->args->nodeid 1-u64max[c]
USER_DATA 1 req->in.h.nodeid 1-u64max[c]