Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 5 files:

Smatch caller information:

io_uring/rsrc.c io_import_reg_vec() -> io_vec_free()

Type Parameter Key Value
PARAM_VALUE 0 iv 4096-ptr_max
PARAM_VALUE 0 iv->nr 0-2147483646
CAPPED_DATA 0 iv->nr 1
DATA_SOURCE 0 iv $3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 iv->nr

io_uring/rsrc.c io_vec_realloc() -> io_vec_free()

Type Parameter Key Value
PARAM_VALUE 0 iv 4096-ptr_max
CAPPED_DATA 0 iv->nr 1
DATA_SOURCE 0 iv $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

io_uring/uring_cmd.c io_alloc_cache_vec_kasan() -> io_vec_free()

Type Parameter Key Value
DATA_SOURCE 0 iv $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

io_uring/uring_cmd.c io_cmd_cache_free() -> io_vec_free()

Type Parameter Key Value
PARAM_VALUE 0 iv 1-u64max
NOCHECK_CALL
HALF_LOCKED2 &ctx->uring_lock
HALF_LOCKED2 &pool->lock

io_uring/uring_cmd.c io_req_uring_cleanup() -> io_vec_free()

Type Parameter Key Value
PARAM_VALUE 0 iv->bvec 0
PARAM_VALUE 0 iv->iovec 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

io_uring/uring_cmd.c io_req_uring_cleanup() -> io_vec_free()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

io_uring/net.c io_alloc_cache_vec_kasan() -> io_vec_free()

Type Parameter Key Value
DATA_SOURCE 0 iv $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

io_uring/net.c io_netmsg_cache_free() -> io_vec_free()

Type Parameter Key Value
PARAM_VALUE 0 iv 1-u64max
NOCHECK_CALL
HALF_LOCKED2 &ctx->uring_lock
HALF_LOCKED2 &pool->lock

io_uring/net.c io_netmsg_iovec_free() -> io_vec_free()

Type Parameter Key Value
PARAM_VALUE 0 iv 4096-ptr_max
PARAM_VALUE 0 iv->iovec 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

io_uring/net.c io_netmsg_recycle() -> io_vec_free()

Type Parameter Key Value
PARAM_VALUE 0 iv->bvec 0
PARAM_VALUE 0 iv->iovec 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

io_uring/net.c io_vec_reset_iovec() -> io_vec_free()

Type Parameter Key Value
PARAM_VALUE 0 iv 4096-ptr_max
DATA_SOURCE 0 iv $0
NOCHECK_CALL
LOCK2 &ctx->uring_lock
HALF_LOCKED2 &sqd->lock
TYPE_LOCK (struct io_ring_ctx)->uring_lock

io_uring/rw.c io_alloc_cache_vec_kasan() -> io_vec_free()

Type Parameter Key Value
DATA_SOURCE 0 iv $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ctx->uring_lock

io_uring/rw.c io_readv_writev_cleanup() -> io_vec_free()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ctx->uring_lock

io_uring/rw.c io_req_rw_cleanup() -> io_vec_free()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ctx->uring_lock

io_uring/rw.c io_rw_cache_free() -> io_vec_free()

Type Parameter Key Value
PARAM_VALUE 0 iv 1-u64max
NOCHECK_CALL
HALF_LOCKED2 &ctx->uring_lock
HALF_LOCKED2 &pool->lock

io_uring/rw.c io_rw_recycle() -> io_vec_free()

Type Parameter Key Value
PARAM_VALUE 0 iv->bvec 0
PARAM_VALUE 0 iv->iovec 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ctx->uring_lock

io_uring/rw.c io_vec_reset_iovec() -> io_vec_free()

Type Parameter Key Value
PARAM_VALUE 0 iv 4096-ptr_max
DATA_SOURCE 0 iv $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ctx->uring_lock