Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/fuse/dev_uring.c fuse_uring_args_to_ring() -> copy_header_to_ring()

Type Parameter Key Value
PARAM_VALUE 0 ent 4096-ptr_max
PARAM_VALUE 0 ent->queue 4096-ptr_max
PARAM_VALUE 0 ent->state 3
PARAM_VALUE 1 type 1
BUF_SIZE 2 header s32min-(-2),1-s32max
CAPPED_DATA 0 ent->payload 1
DATA_SOURCE 0 ent $2
RX_PATH
TASK_NOT_RUNNING
UNITS 2 header unit_byte
UNITS 3 header_size unit_byte
HALF_LOCKED2 &ctx->uring_lock

fs/fuse/dev_uring.c fuse_uring_args_to_ring() -> copy_header_to_ring()

Type Parameter Key Value
PARAM_VALUE 0 ent 4096-ptr_max
PARAM_VALUE 0 ent->queue 4096-ptr_max
PARAM_VALUE 0 ent->state 3
PARAM_VALUE 1 type 2
PARAM_VALUE 2 header 7531832296172552192
PARAM_VALUE 3 header_size 32
BUF_SIZE 2 header 32
CAPPED_DATA 0 ent->payload 1
DATA_SOURCE 0 ent $2
RX_PATH
TASK_NOT_RUNNING
UNITS 3 header_size unit_byte
HALF_LOCKED2 &ctx->uring_lock

fs/fuse/dev_uring.c fuse_uring_copy_to_ring() -> copy_header_to_ring()

Type Parameter Key Value
PARAM_VALUE 0 ent 4096-ptr_max
PARAM_VALUE 0 ent->queue 4096-ptr_max
PARAM_VALUE 0 ent->state 3
PARAM_VALUE 1 type 0
PARAM_VALUE 2 header 4096-ptr_max
PARAM_VALUE 3 header_size 40
BUF_SIZE 2 header 40
CAPPED_DATA 0 ent->payload 1
DATA_SOURCE 0 ent $0
RX_PATH
TASK_NOT_RUNNING
UNITS 3 header_size unit_byte
HALF_LOCKED2 &ctx->uring_lock