Defined in 1 files as a function:

Referenced in 5 files:

Smatch caller information:

io_uring/futex.c io_futex_complete() -> io_tw_lock()

Type Parameter Key Value
DATA_SOURCE 1 tw $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 ctx unit_byte
HALF_LOCKED2 &ctx->uring_lock
HALF_LOCKED2 _T->lock

io_uring/futex.c io_futexv_complete() -> io_tw_lock()

Type Parameter Key Value
DATA_SOURCE 1 tw $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 ctx unit_byte
HALF_LOCKED2 &ctx->uring_lock
HALF_LOCKED2 _T->lock

io_uring/timeout.c io_req_tw_fail_links() -> io_tw_lock()

Type Parameter Key Value
DATA_SOURCE 1 tw $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 ctx unit_byte
HALF_LOCKED2 &ctx->uring_lock
HALF_LOCKED2 _T->lock

io_uring/io_uring.c io_poll_issue() -> io_tw_lock()

Type Parameter Key Value
DATA_SOURCE 1 tw $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 ctx unit_byte
HALF_LOCKED2 &ctx->uring_lock
HALF_LOCKED2 _T->lock

io_uring/io_uring.c io_req_task_cancel() -> io_tw_lock()

Type Parameter Key Value
DATA_SOURCE 1 tw $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 ctx unit_byte
HALF_LOCKED2 &ctx->uring_lock
HALF_LOCKED2 _T->lock

io_uring/io_uring.c io_req_task_submit() -> io_tw_lock()

Type Parameter Key Value
DATA_SOURCE 1 tw $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 ctx unit_byte
HALF_LOCKED2 &ctx->uring_lock
HALF_LOCKED2 _T->lock

io_uring/poll.c io_poll_task_func() -> io_tw_lock()

Type Parameter Key Value
DATA_SOURCE 1 tw $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 ctx unit_byte
HALF_LOCKED2 &ctx->uring_lock
HALF_LOCKED2 _T->lock

io_uring/waitid.c io_waitid_cb() -> io_tw_lock()

Type Parameter Key Value
DATA_SOURCE 1 tw $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 ctx unit_byte
HALF_LOCKED2 &ctx->uring_lock
HALF_LOCKED2 _T->lock