Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 0 req->events 0,16-u32max
PARAM_VALUE 0 req->file 4096-ptr_max
PARAM_VALUE 0 req->file->f_op 4096-ptr_max
PARAM_VALUE 0 req->head 0
PARAM_VALUE 0 req->head->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 req->wait.entry.next->next 4096-ptr_max
PARAM_VALUE 0 req->wait.entry.prev->next 4096-ptr_max
PARAM_VALUE 0 req->wait.entry.prev->prev 4096-ptr_max
PARAM_VALUE 0 req->wait.flags 0
PARAM_VALUE 0 req->wait.func 1189355781994356736
PARAM_VALUE 0 req->wait.private 0
PARAM_VALUE 0 req->work_need_resched 0
PARAM_VALUE 0 req->work_scheduled 0
BUF_SIZE 0 req 144
CAPPED_DATA 0 req->events 1
BIT_INFO 0 req->events 0x18,0xffffffff
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
USER_DATA 0 req->events 0,16-u32max[c]
LOCK2 &ctx->ctx_lock
LOCK2 irq
TYPE_LOCK (struct kioctx)->ctx_lock

fs/aio.c aio_poll_cancel() -> poll_iocb_unlock_wq()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 0 req->cancelled 1
PARAM_VALUE 0 req->head 4096-ptr_max
PARAM_VALUE 0 req->head->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 req->work_scheduled 1
BUF_SIZE 0 req 144
PARAM_COMPARE 0 &req->wait.entry != $0->wait.entry.next
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &ctx->ctx_lock
LOCK2 irq
LOCK2 rcu_read
LOCK2 0 &req->head->lock
TYPE_LOCK (struct kioctx)->ctx_lock
TYPE_LOCK (struct wait_queue_head)->lock

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

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 0 req->cancelled 0
PARAM_VALUE 0 req->file 4096-ptr_max
PARAM_VALUE 0 req->file->f_op 4096-ptr_max
PARAM_VALUE 0 req->head 4096-ptr_max
PARAM_VALUE 0 req->head->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 req->work_need_resched 0
PARAM_VALUE 0 req->work_scheduled 0
PARAM_COMPARE 0 &req->wait.entry != $0->wait.entry.next
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 &ctx->ctx_lock
LOCK2 irq
LOCK2 rcu_read
LOCK2 0 &req->head->lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kioctx)->ctx_lock
TYPE_LOCK (struct wait_queue_head)->lock

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

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 0 req->head 4096-ptr_max
PARAM_VALUE 0 req->head->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 req->wait.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 req->wait.entry.prev->next 4096-ptr_max
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 &ctx->ctx_lock
LOCK2 irq
LOCK2 rcu_read
LOCK2 0 &req->head->lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kioctx)->ctx_lock
TYPE_LOCK (struct wait_queue_head)->lock