Open Menu /

Defined in 1 files as a function:

Referenced in 9 files:

Smatch caller information:

drivers/char/tpm/xen-tpmfront.c vtpm_cancel() -> notify_remote_via_evtchn()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &chip->ops_sem
HALF_LOCKED2 &chip->tpm_mutex
HALF_LOCKED2 &of->mutex

drivers/char/tpm/xen-tpmfront.c vtpm_send() -> notify_remote_via_evtchn()

Type Parameter Key Value
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &chip->ops_sem
HALF_LOCKED2 &chip->tpm_mutex
HALF_LOCKED2 &priv->buffer_mutex

drivers/tty/hvc/hvc_xen.c notify_daemon() -> notify_remote_via_evtchn()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &hp->lock
HALF_LOCKED2 flags

drivers/xen/gntdev.c gntdev_put_map() -> notify_remote_via_evtchn()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &priv->lock

drivers/xen/privcmd.c ioeventfd_interrupt() -> notify_remote_via_evtchn()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

drivers/xen/events/events_base.c notify_remote_via_irq() -> notify_remote_via_evtchn()

Type Parameter Key Value
PARAM_VALUE 0 port 1-u32max
DATA_SOURCE 0 port r evtchn_from_irq
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &evtchnl->u.req.req_io_lock
HALF_LOCKED2 &front_info->io_lock
HALF_LOCKED2 &info->lock
HALF_LOCKED2 &map->active.in_mutex
HALF_LOCKED2 &map->active.out_mutex
HALF_LOCKED2 &queue->response_lock
HALF_LOCKED2 &queue->rx_lock
HALF_LOCKED2 &queue->tx_lock
HALF_LOCKED2 &rinfo->ring_lock
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
HALF_LOCKED2 global &pcistub_sem
HALF_LOCKED2 global &xenwatch_mutex
HALF_LOCKED2 irq_flags

drivers/xen/events/events_base.c xen_send_IPI_one() -> notify_remote_via_evtchn()

Type Parameter Key Value
PARAM_VALUE 0 port 1-u32max
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/xen/gntalloc.c __del_gref() -> notify_remote_via_evtchn()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &gref_mutex

drivers/xen/xenbus/xenbus_comms.c xb_read() -> notify_remote_via_evtchn()

Type Parameter Key Value
NOCHECK_CALL
HALF_LOCKED2 global &xs_response_mutex

drivers/xen/xenbus/xenbus_comms.c xb_write() -> notify_remote_via_evtchn()

Type Parameter Key Value
NOCHECK_CALL
LOCK2 global &xb_write_mutex

drivers/xen/evtchn.c evtchn_ioctl() -> notify_remote_via_evtchn()

Type Parameter Key Value
CAPPED_DATA 0 port 1
NOCHECK_CALL
USER_DATA 0 port 0-u32max[c]
LOCK2 &u->bind_mutex
TYPE_LOCK (struct per_user_data)->bind_mutex

drivers/pci/xen-pcifront.c do_pci_op() -> notify_remote_via_evtchn()

Type Parameter Key Value
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &pdev->sh_info_lock
LOCK2 irq_flags
HALF_LOCKED2 &_T->lock->msi.data->mutex
TYPE_LOCK (struct pcifront_device)->sh_info_lock

drivers/pci/xen-pcifront.c pcifront_do_aer() -> notify_remote_via_evtchn()

Type Parameter Key Value
NOCHECK_CALL
HALF_LOCKED2 &pool->lock