Open Menu /

Defined in 1 files as a function:

Referenced in 5 files:

Smatch caller information:

fs/aio.c aio_poll() -> mangle_poll()

Type Parameter Key Value
PARAM_VALUE 0 val 1-u32max
CAPPED_DATA 0 val 1
USER_DATA 0 val 1-u32max[c]
LOCK2 &ctx->ctx_lock
LOCK2 irq
TYPE_LOCK (struct kioctx)->ctx_lock

fs/aio.c aio_poll_complete_work() -> mangle_poll()

Type Parameter Key Value
CAPPED_DATA 0 val 1
PREEMPT_ADD <- disables preempt
LOCK2 &ctx->ctx_lock
LOCK2 irq
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kioctx)->ctx_lock

fs/aio.c aio_poll_wake() -> mangle_poll()

Type Parameter Key Value
PARAM_VALUE 0 val 1-u32max
DATA_SOURCE 0 val $3
RX_PATH
TASK_NOT_RUNNING
LOCK2 &iocb->ki_ctx->ctx_lock
LOCK2 flags
HALF_LOCKED2 &sci->sc_wait_request.lock
HALF_LOCKED2 &x->lock
HALF_LOCKED2 flags
TYPE_LOCK (struct kioctx)->ctx_lock

fs/fuse/poll.c fuse_file_poll() -> mangle_poll()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 val 0,8-u32max
HALF_LOCKED2 &kvm->irq_srcu
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &vm->irqfds_lock
HALF_LOCKED2 global &irqfds_srcu

io_uring/poll.c io_poll_check_events() -> mangle_poll()

Type Parameter Key Value
CAPPED_DATA 0 val 1
BIT_INFO 0 val 0x0,0x3fffffff
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &ctx->uring_lock
HALF_LOCKED2 _T->lock

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

Type Parameter Key Value
CAPPED_DATA 0 val 1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &ctx->uring_lock
HALF_LOCKED2 _T->lock

fs/select.c do_poll() -> mangle_poll()

Type Parameter Key Value
CAPPED_DATA 0 val 1
DATA_SOURCE 0 val r do_pollfd
TASK_NOT_RUNNING

fs/fcntl.c send_sigio_to_task() -> mangle_poll()

Type Parameter Key Value
PARAM_VALUE 0 val 8,24,65,130,772,1089
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 &fown->lock
LOCK2 flags
LOCK2 rcu_read
HALF_LOCKED2 &fa->fa_lock
HALF_LOCKED2 &inode_mark->lock
TYPE_LOCK (struct fown_struct)->lock