Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 29 files:

Smatch caller information:

drivers/vfio/pci/vfio_pci_intrs.c vfio_msi_set_vector_signal() -> eventfd_ctx_fdget()

Type Parameter Key Value
PARAM_VALUE 0 fd 0-s32max
DATA_SOURCE 0 fd $2
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 fd 0-s32max
HALF_LOCKED2 &device->dev_set->lock
HALF_LOCKED2 &vdev->igate

drivers/vfio/pci/vfio_pci_intrs.c vfio_pci_set_ctx_trigger_single() -> eventfd_ctx_fdget()

Type Parameter Key Value
PARAM_VALUE 0 fd 0-s32max
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 fd 0-s32max
HALF_LOCKED2 &device->dev_set->lock
HALF_LOCKED2 &vdev->igate

drivers/vfio/pci/vfio_pci_intrs.c vfio_pci_set_intx_trigger() -> eventfd_ctx_fdget()

Type Parameter Key Value
PARAM_VALUE 0 fd 0-s32max
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 fd 0-s32max
HALF_LOCKED2 &device->dev_set->lock
HALF_LOCKED2 &vdev->igate

drivers/vfio/pci/vfio_pci_core.c vfio_pci_core_pm_entry_with_wakeup() -> eventfd_ctx_fdget()

Type Parameter Key Value
PARAM_VALUE 0 fd 0-s32max
FUZZY_MAX 0 fd 0
USER_DATA 0 fd 0-s32max

drivers/vfio/platform/vfio_platform_irq.c vfio_set_trigger() -> eventfd_ctx_fdget()

Type Parameter Key Value
PARAM_VALUE 0 fd 0-s32max
DATA_SOURCE 0 fd $2
USER_DATA 0 fd 0-s32max
LOCK2 &vdev->igate
TYPE_LOCK (struct vfio_platform_device)->igate

drivers/vhost/vhost.c vhost_dev_ioctl() -> eventfd_ctx_fdget()

Type Parameter Key Value
PARAM_VALUE 0 fd s32min-(-2),0-s32max
USER_DATA 0 fd s32min-(-2),0-s32max
HALF_LOCKED2 &n->dev.mutex
HALF_LOCKED2 &vs->dev.mutex
HALF_LOCKED2 &vsock->dev.mutex
TYPE_LOCK (struct vhost_dev)->mutex

drivers/vhost/vhost.c vhost_vring_ioctl() -> eventfd_ctx_fdget()

Type Parameter Key Value
PARAM_VALUE 0 fd s32min-(-2),0-s32max
USER_DATA 0 fd s32min-(-2),0-s32max
LOCK2 &vq->mutex
HALF_LOCKED2 &d->mutex
HALF_LOCKED2 &n->dev.mutex
HALF_LOCKED2 &vs->dev.mutex
HALF_LOCKED2 &vsock->dev.mutex
TYPE_LOCK (struct vhost_dev)->mutex
TYPE_LOCK (struct vhost_virtqueue)->mutex

drivers/vhost/vhost.c vhost_vring_ioctl() -> eventfd_ctx_fdget()

Type Parameter Key Value
PARAM_VALUE 0 fd s32min-(-2),0-s32max
USER_DATA 0 fd s32min-(-2),0-s32max
LOCK2 &vq->mutex
HALF_LOCKED2 &d->mutex
HALF_LOCKED2 &n->dev.mutex
HALF_LOCKED2 &vs->dev.mutex
HALF_LOCKED2 &vsock->dev.mutex
TYPE_LOCK (struct vhost_dev)->mutex
TYPE_LOCK (struct vhost_virtqueue)->mutex

drivers/virt/acrn/ioeventfd.c acrn_ioeventfd_assign() -> eventfd_ctx_fdget()

Type Parameter Key Value
USER_DATA 0 fd s32min-s32max

drivers/virt/acrn/ioeventfd.c acrn_ioeventfd_deassign() -> eventfd_ctx_fdget()

Type Parameter Key Value
USER_DATA 0 fd s32min-s32max

drivers/vhost/vdpa.c vhost_vdpa_set_config_call() -> eventfd_ctx_fdget()

Type Parameter Key Value
PARAM_VALUE 0 fd s32min-(-2),0-s32max
USER_DATA 0 fd s32min-(-2),0-s32max
LOCK2 &d->mutex
TYPE_LOCK (struct vhost_dev)->mutex

fs/aio.c __io_submit_one() -> eventfd_ctx_fdget()

Type Parameter Key Value
USER_DATA 0 fd s32min-s32max

drivers/vfio/fsl-mc/vfio_fsl_mc_intr.c vfio_set_trigger() -> eventfd_ctx_fdget()

Type Parameter Key Value
PARAM_VALUE 0 fd 0-s32max
DATA_SOURCE 0 fd $2
RX_PATH
USER_DATA 0 fd 0-s32max
LOCK2 &vdev->igate
TYPE_LOCK (struct vfio_fsl_mc_device)->igate

drivers/fpga/dfl.c do_set_irq_trigger() -> eventfd_ctx_fdget()

Type Parameter Key Value
PARAM_VALUE 0 fd 0-s32max
DATA_SOURCE 0 fd $2
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 fd 0-s32max
LOCK2 &fdata->lock
TYPE_LOCK (struct dfl_feature_dev_data)->lock

drivers/gpu/drm/i915/gvt/kvmgt.c intel_vgpu_set_msi_trigger() -> eventfd_ctx_fdget()

Type Parameter Key Value
USER_DATA 0 fd s32min-s32max

drivers/virt/acrn/irqfd.c acrn_irqfd_deassign() -> eventfd_ctx_fdget()

Type Parameter Key Value
USER_DATA 0 fd s32min-s32max

arch/x86/kvm/xen.c kvm_xen_eventfd_assign() -> eventfd_ctx_fdget()

Type Parameter Key Value
USER_DATA 0 fd s32min-s32max

arch/x86/kvm/../../../virt/kvm/eventfd.c kvm_assign_ioeventfd_idx() -> eventfd_ctx_fdget()

Type Parameter Key Value
USER_DATA 0 fd s32min-s32max

arch/x86/kvm/../../../virt/kvm/eventfd.c kvm_deassign_ioeventfd_idx() -> eventfd_ctx_fdget()

Type Parameter Key Value
USER_DATA 0 fd s32min-s32max

arch/x86/kvm/../../../virt/kvm/eventfd.c kvm_irqfd_assign() -> eventfd_ctx_fdget()

Type Parameter Key Value
USER_DATA 0 fd s32min-s32max

arch/x86/kvm/../../../virt/kvm/eventfd.c kvm_irqfd_deassign() -> eventfd_ctx_fdget()

Type Parameter Key Value
USER_DATA 0 fd s32min-s32max

arch/x86/kvm/hyperv.c kvm_hv_eventfd_assign() -> eventfd_ctx_fdget()

Type Parameter Key Value
DATA_SOURCE 0 fd $2
USER_DATA 0 fd s32min-s32max

io_uring/eventfd.c io_eventfd_register() -> eventfd_ctx_fdget()

Type Parameter Key Value
USER_DATA 0 fd s32min-s32max
LOCK2 &ctx->uring_lock
TYPE_LOCK (struct io_ring_ctx)->uring_lock

drivers/vdpa/vdpa_user/vduse_dev.c vduse_kickfd_setup() -> eventfd_ctx_fdget()

Type Parameter Key Value
PARAM_VALUE 0 fd 0-s32max
FUZZY_MAX 0 fd 0
USER_DATA 0 fd 0-s32max

drivers/xen/privcmd.c privcmd_ioeventfd_assign() -> eventfd_ctx_fdget()

Type Parameter Key Value
USER_DATA 0 fd s32min-s32max

drivers/xen/privcmd.c privcmd_ioeventfd_deassign() -> eventfd_ctx_fdget()

Type Parameter Key Value
USER_DATA 0 fd s32min-s32max

drivers/xen/privcmd.c privcmd_irqfd_deassign() -> eventfd_ctx_fdget()

Type Parameter Key Value
USER_DATA 0 fd s32min-s32max

drivers/vfio/cdx/intr.c vfio_cdx_msi_set_vector_signal() -> eventfd_ctx_fdget()

Type Parameter Key Value
PARAM_VALUE 0 fd 0-s32max
DATA_SOURCE 0 fd $2
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 fd 0-s32max
LOCK2 _T->lock
HALF_LOCKED2 &device->dev_set->lock

drivers/gpu/drm/drm_syncobj.c drm_syncobj_eventfd_ioctl() -> eventfd_ctx_fdget()

Type Parameter Key Value
USER_DATA 0 fd s32min-s32max[u]

drivers/infiniband/hw/mlx5/devx.c mlx5_ib_handler_MLX5_IB_METHOD_DEVX_SUBSCRIBE_EVENT() -> eventfd_ctx_fdget()

Type Parameter Key Value
LOCK2 &devx_event_table->event_xa_lock
TYPE_LOCK (struct mlx5_devx_event_table)->event_xa_lock

drivers/usb/gadget/function/f_fs.c __ffs_data_got_descs() -> eventfd_ctx_fdget()

Type Parameter Key Value
HALF_LOCKED2 &ffs->mutex

samples/vfio-mdev/mtty.c mtty_set_irqs() -> eventfd_ctx_fdget()

Type Parameter Key Value
PARAM_VALUE 0 fd 0-s32max
USER_DATA 0 fd 0-s32max
LOCK2 &mdev_state->ops_lock
TYPE_LOCK (struct mdev_state)->ops_lock

samples/vfio-mdev/mtty.c mtty_set_irqs() -> eventfd_ctx_fdget()

Type Parameter Key Value
PARAM_VALUE 0 fd 0-s32max
USER_DATA 0 fd 0-s32max
LOCK2 &mdev_state->ops_lock
TYPE_LOCK (struct mdev_state)->ops_lock

drivers/accel/habanalabs/common/habanalabs_ioctl.c eventfd_register() -> eventfd_ctx_fdget()

Type Parameter Key Value
USER_DATA 0 fd s32min-s32max[u]
LOCK2 &hpriv->notifier_event.lock
TYPE_LOCK (struct hl_notifier_event)->lock