Defined in 3 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/char/ipmi/ipmi_msghandler.c _ipmi_panic_request_and_wait() -> ipmi_poll()

Type Parameter Key Value
PARAM_VALUE 0 intf 4096-ptr_max
PARAM_VALUE 0 intf->addrinfo 4096-ptr_max
PARAM_VALUE 0 intf->hp_xmit_msgs.prev->next->next 4096-ptr_max
PARAM_VALUE 0 intf->maintenance_mode_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 intf->run_to_completion 1
PARAM_VALUE 0 intf->send_info->data_len 0-255
PARAM_VALUE 0 intf->send_info->done_handler 6765505158978322432
PARAM_VALUE 0 intf->send_info->got_alert 0
PARAM_VALUE 0 intf->send_info->i2c_command 2,6
PARAM_VALUE 0 intf->send_info->i2c_read_write 0
PARAM_VALUE 0 intf->send_info->i2c_size 5
PARAM_VALUE 0 intf->send_info->intf->watchdog_pretimeouts_to_deliver.counter 1
PARAM_VALUE 0 intf->send_info->multi_len 33-4294967295
PARAM_VALUE 0 intf->send_info->multi_pos 32
PARAM_VALUE 0 intf->send_info->retries_left 5
PARAM_VALUE 0 intf->send_info->thread->delays->lock.dep_map->name 0-255
PARAM_VALUE 0 intf->send_info->thread->delays->lock.owner (-1)
PARAM_VALUE 0 intf->send_info->thread->delays->lock.owner_cpu 4294967295
PARAM_VALUE 0 intf->send_info->thread->dl.dl_timer.base->cpu_base->expires_next 0-s64max
PARAM_VALUE 0 intf->send_info->thread->dl.dl_timer.base->cpu_base->softirq_expires_next 0-s64max
PARAM_VALUE 0 intf->send_info->thread->dl.rb_node.__rb_parent_color 1
PARAM_VALUE 0 intf->send_info->thread->se.cfs_rq->curr 0
PARAM_VALUE 0 intf->send_info->thread->se.cfs_rq->propagate 1
PARAM_VALUE 0 intf->send_info->thread->se.cfs_rq->removed.lock.owner (-1)
PARAM_VALUE 0 intf->send_info->thread->se.cfs_rq->removed.lock.owner_cpu 4294967295
PARAM_VALUE 0 intf->send_info->thread->se.cfs_rq->rq->curr->mm->sc_stat.cpu (-1)
PARAM_VALUE 0 intf->send_info->thread->se.cfs_rq->rq->curr->pref_llc_queued 0-1
PARAM_VALUE 0 intf->send_info->thread->se.cfs_rq->rq->donor->__state 0,512
PARAM_VALUE 0 intf->send_info->thread->se.cfs_rq->rq->donor->core_node.__rb_parent_color 1
PARAM_VALUE 0 intf->send_info->thread->se.cfs_rq->rq->donor->dl.dl_timer.base->clockid 0-1,7,11
PARAM_VALUE 0 intf->send_info->thread->se.cfs_rq->rq->donor->dl.dl_timer.base->index 0-7
PARAM_VALUE 0 intf->send_info->thread->se.cfs_rq->rq->donor->dl.inactive_timer.base->clockid 0-1,7,11
PARAM_VALUE 0 intf->send_info->thread->se.cfs_rq->rq->donor->dl.inactive_timer.base->index 0-7
PARAM_VALUE 0 intf->send_info->thread->se.cfs_rq->rq->donor->pushable_dl_tasks.__rb_parent_color 1
PARAM_VALUE 0 intf->send_info->thread->se.cfs_rq->rq->donor->rseq.event.ids_changed 1
PARAM_VALUE 0 intf->send_info->thread->se.cfs_rq->rq->donor->saved_state 0
PARAM_VALUE 0 intf->send_info->thread->se.cfs_rq->rq->donor->sched_migrated 1
PARAM_VALUE 0 intf->send_info->thread->se.cfs_rq->rq->donor->se.my_q->prop_runnable_sum 0
PARAM_VALUE 0 intf->send_info->thread->se.cfs_rq->rq->donor->se.my_q->propagate 0
PARAM_VALUE 0 intf->send_info->thread->se.cfs_rq->rq->donor->se.parent->my_q->propagate 0
PARAM_VALUE 0 intf->send_info->thread->se.cfs_rq->rq->fair_server.inactive_timer.flags 0-4294967295
PARAM_VALUE 0 intf->send_info->thread->se.cfs_rq->rq->fair_server.pi_se->dl_bw 0
PARAM_VALUE 0 intf->send_info->thread->se.cfs_rq->rq->fair_server.pi_se->dl_deadline 0
PARAM_VALUE 0 intf->send_info->thread->se.cfs_rq->rq->fair_server.pi_se->dl_defer 0
PARAM_VALUE 0 intf->send_info->thread->se.cfs_rq->rq->fair_server.pi_se->dl_defer_armed 0
PARAM_VALUE 0 intf->send_info->thread->se.cfs_rq->rq->fair_server.pi_se->dl_defer_running 0
PARAM_VALUE 0 intf->send_info->thread->se.cfs_rq->rq->fair_server.pi_se->dl_density 0
PARAM_VALUE 0 intf->send_info->thread->se.cfs_rq->rq->fair_server.pi_se->dl_non_contending 0
PARAM_VALUE 0 intf->send_info->thread->se.cfs_rq->rq->fair_server.pi_se->dl_overrun 0
PARAM_VALUE 0 intf->send_info->thread->se.cfs_rq->rq->fair_server.pi_se->dl_period 0
PARAM_VALUE 0 intf->send_info->thread->se.cfs_rq->rq->fair_server.pi_se->dl_runtime 0
PARAM_VALUE 0 intf->send_info->thread->se.cfs_rq->rq->fair_server.pi_se->dl_server 0
PARAM_VALUE 0 intf->send_info->thread->se.cfs_rq->rq->fair_server.pi_se->dl_throttled 0
PARAM_VALUE 0 intf->send_info->thread->se.cfs_rq->rq->fair_server.pi_se->dl_yielded 0
PARAM_VALUE 0 intf->send_info->thread->se.cfs_rq->rq->fair_server.pi_se->flags 0
PARAM_VALUE 0 intf->send_info->wake_thread.count 0-4294967295
PARAM_VALUE 0 intf->send_info->wake_thread.done 0-4294967295
PARAM_VALUE 0 intf->send_info->wake_thread.first_waiter->up 1
PARAM_VALUE 0 intf->send_info->wake_thread.last_holder 0
PARAM_VALUE 0 intf->send_info->wake_thread.lock.owner (-1)
PARAM_VALUE 0 intf->send_info->wake_thread.lock.owner_cpu 4294967295
PARAM_VALUE 0 intf->send_info->wake_thread.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 intf->send_info->wake_thread.wait.lock.owner_cpu 0-4294967295
PARAM_VALUE 0 intf->send_info->watch_timer.flags 0-4294967295
PARAM_VALUE 0 intf->seq_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 intf->seq_lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 intf->users_mutex.dep_map->name 0-255
PARAM_VALUE 0 intf->users_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 intf->users_mutex.first_waiter->task->blocked_on 0
PARAM_VALUE 0 intf->xmit_msgs.prev->next->next 4096-ptr_max
DATA_SOURCE 0 intf $0
RX_PATH
NOCHECK_CALL

drivers/char/ipmi/ipmi_msghandler.c ipmi_poll_interface() -> ipmi_poll()

Type Parameter Key Value
PARAM_VALUE 0 intf->owner->refcnt.counter 0-s32max
PARAM_VALUE 0 intf->send_info->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 intf->send_info->thread->se.avg.util_avg 0-4294967295
PARAM_VALUE 0 intf->send_info->thread->se.cfs_rq->rq->donor->se.run_node.rb_left->rb_right 0
PARAM_VALUE 0 intf->send_info->thread->se.cfs_rq->rq->donor->se.run_node.rb_right->rb_left 0
PARAM_VALUE 0 intf->send_info->thread->se.cfs_rq->rq->donor->wake_cpu 0-s32max
PARAM_VALUE 0 intf->send_info->thread->se.cfs_rq->tasks_timeline.rb_leftmost->rb_left 0
PARAM_VALUE 0 intf->send_info->thread->se.cfs_rq->tasks_timeline.rb_leftmost->rb_right 0
PARAM_VALUE 0 intf->send_info->wake_thread.lock.dep_map->name 0-255
PARAM_VALUE 0 intf->seq_lock.dep_map->name 0-255
PARAM_VALUE 0 intf->seq_lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 intf->seq_lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 intf->seq_lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 intf->seq_lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 intf->seq_lock.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 intf->seq_lock.first_waiter->task->blocked_on 0
PARAM_VALUE 0 intf->users_mutex.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 intf->users_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 intf->users_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 intf->users_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 0 intf->users_mutex.first_waiter->task->blocked_on 0
PARAM_VALUE 0 intf->watch_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 intf->xmit_msgs_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 *intf->send_info->thread->delays->lock.owner (-4611686018427387904)-4611686018427387903
NOCHECK_CALL

fs/debugfs/file.c full_proxy_poll() -> (struct file_operations)->poll()

Type Parameter Key Value
PARAM_VALUE 0 intf 4096-ptr_max
PARAM_VALUE 0 intf->f_path.dentry 4096-ptr_max
DATA_SOURCE 0 intf $0
DATA_SOURCE 1 wait $1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 wait->_key 0,8-u32max
HALF_LOCKED2 &kvm->irq_srcu
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &vm->irqfds_lock
HALF_LOCKED2 global &irqfds_srcu

drivers/vhost/vhost.c vfs_poll() -> (struct file_operations)->poll()

Type Parameter Key Value
PARAM_VALUE 0 intf 4096-ptr_max
PARAM_VALUE 0 intf->f_op 4096-ptr_max
PARAM_VALUE 0 intf->f_op->poll 1-u64max
PARAM_VALUE 1 wait 4096-ptr_max
DATA_SOURCE 0 intf $0
DATA_SOURCE 1 wait $1
CONTAINER 0 -72-80+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &n->dev.mutex
HALF_LOCKED2 &vq->mutex
TYPE_LOCK (struct vhost_virtqueue)->mutex

fs/aio.c vfs_poll() -> (struct file_operations)->poll()

Type Parameter Key Value
PARAM_VALUE 0 intf 4096-ptr_max
PARAM_VALUE 0 intf->f_op 4096-ptr_max
PARAM_VALUE 0 intf->f_op->poll 1-u64max
PARAM_VALUE 1 wait 735018427947245568,970853541726388224
PARAM_VALUE 1 wait->_qproc 0,582418133348286464
DATA_SOURCE 0 intf $0
DATA_SOURCE 1 wait $1
CONTAINER 0 -72-80+0 $(-1)
USER_DATA 1 wait->_key 0,16-u32max[c]

net/9p/trans_fd.c vfs_poll() -> (struct file_operations)->poll()

Type Parameter Key Value
PARAM_VALUE 0 intf 4096-ptr_max
PARAM_VALUE 0 intf->f_op 4096-ptr_max
PARAM_VALUE 0 intf->f_op->poll 1-u64max
PARAM_VALUE 1 wait 0,4096-ptr_max
PARAM_VALUE 1 wait->_key u32max
PARAM_VALUE 1 wait->_qproc 2909568929927892992
DATA_SOURCE 0 intf $0
DATA_SOURCE 1 wait $1
CONTAINER 0 -72-80+0 $(-1)
RX_PATH
TASK_NOT_RUNNING

drivers/virt/acrn/irqfd.c vfs_poll() -> (struct file_operations)->poll()

Type Parameter Key Value
PARAM_VALUE 0 intf 4096-ptr_max
PARAM_VALUE 0 intf->f_op 4096-ptr_max
PARAM_VALUE 0 intf->f_op->poll 1-u64max
PARAM_VALUE 1 wait 4096-ptr_max
PARAM_VALUE 1 wait->_key u32max
PARAM_VALUE 1 wait->_qproc 6425179339158061056
DATA_SOURCE 0 intf $0
DATA_SOURCE 1 wait $1
CONTAINER 0 -72-80+0 $(-1)
LOCK2 &vm->irqfds_lock
TYPE_LOCK (struct acrn_vm)->irqfds_lock

arch/x86/kvm/../../../virt/kvm/eventfd.c vfs_poll() -> (struct file_operations)->poll()

Type Parameter Key Value
PARAM_VALUE 0 intf 4096-ptr_max
PARAM_VALUE 0 intf->f_op 4096-ptr_max
PARAM_VALUE 0 intf->f_op->poll 1-u64max
PARAM_VALUE 1 wait 5947951813530587152
PARAM_VALUE 1 wait->_key u32max
PARAM_VALUE 1 wait->_qproc 4945306081180151808
DATA_SOURCE 0 intf $0
DATA_SOURCE 1 wait $1
CONTAINER 0 -72-80+0 $(-1)
LOCK2 &kvm->irq_srcu
TYPE_LOCK (struct kvm)->irq_srcu

io_uring/poll.c vfs_poll() -> (struct file_operations)->poll()

Type Parameter Key Value
PARAM_VALUE 0 intf 4096-ptr_max
PARAM_VALUE 0 intf->f_op 4096-ptr_max
PARAM_VALUE 0 intf->f_op->poll 1-u64max
PARAM_VALUE 1 wait 4019014857396924416,8033332501089599488,9214545188766470144
PARAM_VALUE 1 wait->_qproc 0,1830280485473198080,2529094115975888896
DATA_SOURCE 0 intf $0
DATA_SOURCE 1 wait $1
CONTAINER 0 -72-80+0 $(-1)
RX_PATH
TASK_NOT_RUNNING

io_uring/net.c vfs_poll() -> (struct file_operations)->poll()

Type Parameter Key Value
PARAM_VALUE 0 intf 4096-ptr_max
PARAM_VALUE 0 intf->f_op 4096-ptr_max
PARAM_VALUE 0 intf->f_op->poll 1-u64max
PARAM_VALUE 1 wait 8137840875386396672
PARAM_VALUE 1 wait->_key 8
PARAM_VALUE 1 wait->_qproc 0
DATA_SOURCE 0 intf $0
DATA_SOURCE 1 wait $1
CONTAINER 0 -72-80+0 $(-1)
RX_PATH
TASK_NOT_RUNNING

drivers/xen/privcmd.c vfs_poll() -> (struct file_operations)->poll()

Type Parameter Key Value
PARAM_VALUE 0 intf 4096-ptr_max
PARAM_VALUE 0 intf->f_op 4096-ptr_max
PARAM_VALUE 0 intf->f_op->poll 1-u64max
PARAM_VALUE 1 wait 4096-ptr_max
PARAM_VALUE 1 wait->_key u32max
PARAM_VALUE 1 wait->_qproc 4386842569749114880
DATA_SOURCE 0 intf $0
DATA_SOURCE 1 wait $1
CONTAINER 0 -72-80+0 $(-1)
LOCK2 global &irqfds_srcu

drivers/vfio/virqfd.c vfs_poll() -> (struct file_operations)->poll()

Type Parameter Key Value
PARAM_VALUE 0 intf 4096-ptr_max
PARAM_VALUE 0 intf->f_op 4096-ptr_max
PARAM_VALUE 0 intf->f_op->poll 1-u64max
PARAM_VALUE 1 wait 4096-ptr_max
PARAM_VALUE 1 wait->_key u32max
PARAM_VALUE 1 wait->_qproc 7587862593359208448
DATA_SOURCE 0 intf $0
DATA_SOURCE 1 wait $1
CONTAINER 0 -72-80+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &vdev->igate
HALF_LOCKED2 &vdev->ioeventfds_lock

fs/eventpoll.c vfs_poll() -> (struct file_operations)->poll()

Type Parameter Key Value
PARAM_VALUE 0 intf 4096-ptr_max
PARAM_VALUE 0 intf->f_op 4096-4951850187764506623,4951850187764506625-ptr_max
PARAM_VALUE 0 intf->f_op->poll 1-u64max
PARAM_VALUE 1 wait 775733609802461184,2126898034466557952,3824320234437623808,3975095308152500224
PARAM_VALUE 1 wait->_qproc 0,2312610447633252352
DATA_SOURCE 0 intf $0
DATA_SOURCE 1 wait $1
CONTAINER 0 -72-80+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 wait->_key 0,8-u32max
HALF_LOCKED2 &ep->mtx

fs/select.c vfs_poll() -> (struct file_operations)->poll()

Type Parameter Key Value
PARAM_VALUE 0 intf 4096-ptr_max
PARAM_VALUE 0 intf->f_op 4096-ptr_max
PARAM_VALUE 0 intf->f_op->poll 1-u64max
PARAM_VALUE 1 wait 5472551433901768704,7373227645283729408
PARAM_VALUE 1 wait->_key 0,16-u32max
PARAM_VALUE 1 wait->_qproc 0,5509171705170616320
BUF_SIZE 1 wait 16
DATA_SOURCE 0 intf $0
DATA_SOURCE 1 wait $1
FUZZY_MAX 1 wait->_key 32802
CONTAINER 0 -72-80+0 $(-1)
BIT_INFO 1 wait->_qproc 0x0,0x4c74827a1d53e000
TASK_NOT_RUNNING

io_uring/rw.c vfs_poll() -> (struct file_operations)->poll()

Type Parameter Key Value
PARAM_VALUE 0 intf 4096-ptr_max
PARAM_VALUE 0 intf->f_iocb_flags 0-s32max
PARAM_VALUE 0 intf->f_op 4096-ptr_max
PARAM_VALUE 0 intf->f_op->poll 1-u64max
PARAM_VALUE 1 wait 1617918558982373376
PARAM_VALUE 1 wait->_key 1,4
PARAM_VALUE 1 wait->_qproc 0
DATA_SOURCE 0 intf $0
DATA_SOURCE 1 wait $1
CONTAINER 0 -72-80+0 $(-1)
RX_PATH
TASK_NOT_RUNNING

mm/memcontrol-v1.c vfs_poll() -> (struct file_operations)->poll()

Type Parameter Key Value
PARAM_VALUE 0 intf 4096-ptr_max
PARAM_VALUE 0 intf->f_op 4096-ptr_max
PARAM_VALUE 0 intf->f_op->poll 1-u64max
PARAM_VALUE 1 wait 4096-ptr_max
PARAM_VALUE 1 wait->_key u32max
PARAM_VALUE 1 wait->_qproc 4007942201453776896
DATA_SOURCE 0 intf $0
DATA_SOURCE 1 wait $1
CONTAINER 0 -72-80+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex