Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

io_uring/timeout.c __io_timeout_prep() -> io_timeout_get_clock()

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
PARAM_VALUE 0 data->flags 0-254
BUF_SIZE 0 data 0,96,104,128,144,200,288
BUF_SIZE 0 data 0,96,104,128,144,200,288
CAPPED_DATA 0 data->req->opcode 1
DATA_SOURCE 0 data r io_uring_alloc_async_data
BIT_INFO 0 data->flags 0x0,0xed
LOCK2 &ctx->uring_lock
HALF_LOCKED2 &sqd->lock
TYPE_LOCK (struct io_ring_ctx)->uring_lock

io_uring/timeout.c __io_timeout_prep() -> io_timeout_get_clock()

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
PARAM_VALUE 0 data->flags 0-254
BUF_SIZE 0 data 0,96,104,128,144,200,288
BUF_SIZE 0 data 0,96,104,128,144,200,288
CAPPED_DATA 0 data->req->opcode 1
DATA_SOURCE 0 data r io_uring_alloc_async_data
BIT_INFO 0 data->flags 0x0,0xed
LOCK2 &ctx->uring_lock
HALF_LOCKED2 &sqd->lock
TYPE_LOCK (struct io_ring_ctx)->uring_lock

io_uring/timeout.c io_linked_timeout_update() -> io_timeout_get_clock()

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
BUF_SIZE 0 data 1-s32max
BUF_SIZE 0 data 1-s32max
CAPPED_DATA 0 data->timer.base 1
CAPPED_DATA 0 &data->timer 1
PARAM_COMPARE 0 &data->timer != $0->timer.base->running
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 &ctx->timeout_lock
LOCK2 irq
TYPE_LOCK (struct io_ring_ctx)->timeout_lock

io_uring/timeout.c io_timeout_update() -> io_timeout_get_clock()

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
BUF_SIZE 0 data 1-s32max
BUF_SIZE 0 data 1-s32max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 &ctx->timeout_lock
LOCK2 irq
TYPE_LOCK (struct io_ring_ctx)->timeout_lock