Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 9 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 cmd 4
PARAM_VALUE 1 arg 7183630033130926080
BUF_SIZE 1 arg 4
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &chip->ops_sem
HALF_LOCKED2 &chip->tpm_mutex

drivers/xen/events/events_2l.c evtchn_2l_unmask() -> HYPERVISOR_event_channel_op()

Type Parameter Key Value
PARAM_VALUE 0 cmd 9
PARAM_VALUE 1 arg 6445158894680920064
BUF_SIZE 1 arg 4
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 &info->lock
LOCK2 flags
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct irq_info)->lock

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

Type Parameter Key Value
PARAM_VALUE 0 cmd 4
PARAM_VALUE 1 arg 1645929686410457088
BUF_SIZE 1 arg 4
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &hp->lock
HALF_LOCKED2 flags

drivers/xen/xenbus/xenbus_dev_backend.c xenbus_alloc() -> HYPERVISOR_event_channel_op()

Type Parameter Key Value
PARAM_VALUE 0 cmd 6
PARAM_VALUE 1 arg 8685798748359626752
BUF_SIZE 1 arg 8
CAPABLE 0 21
LOCK2 global &xs_response_mutex
LOCK2 global &xs_watch_rwsem

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

Type Parameter Key Value
PARAM_VALUE 0 cmd 4
PARAM_VALUE 1 arg 5246932727540752384
BUF_SIZE 1 arg 4
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &priv->lock

drivers/xen/xenbus/xenbus_client.c xenbus_alloc_evtchn() -> HYPERVISOR_event_channel_op()

Type Parameter Key Value
PARAM_VALUE 0 cmd 6
PARAM_VALUE 1 arg 5416261260987949056
BUF_SIZE 1 arg 8
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dev->reclaim_sem
HALF_LOCKED2 &xdev->reclaim_sem
HALF_LOCKED2 global &xenwatch_mutex

drivers/xen/xenbus/xenbus_client.c xenbus_free_evtchn() -> HYPERVISOR_event_channel_op()

Type Parameter Key Value
PARAM_VALUE 0 cmd 3
PARAM_VALUE 1 arg 3890654724161421312
BUF_SIZE 1 arg 4
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &xdev->reclaim_sem
HALF_LOCKED2 global &xenwatch_mutex

drivers/xen/events/events_fifo.c evtchn_fifo_setup() -> HYPERVISOR_event_channel_op()

Type Parameter Key Value
PARAM_VALUE 0 cmd 12
PARAM_VALUE 1 arg 861462765532200960
BUF_SIZE 1 arg 8
RX_PATH
TASK_NOT_RUNNING

drivers/xen/events/events_fifo.c evtchn_fifo_unmask() -> HYPERVISOR_event_channel_op()

Type Parameter Key Value
PARAM_VALUE 0 cmd 9
PARAM_VALUE 1 arg 5991597287403356160
BUF_SIZE 1 arg 4
RX_PATH
TASK_NOT_RUNNING
LOCK2 &info->lock
LOCK2 flags
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct irq_info)->lock

drivers/xen/events/events_fifo.c init_control_block() -> HYPERVISOR_event_channel_op()

Type Parameter Key Value
PARAM_VALUE 0 cmd 11
PARAM_VALUE 1 arg 1263929195818000384
BUF_SIZE 1 arg 24
RX_PATH
TASK_NOT_RUNNING

drivers/xen/xenbus/xenbus_probe.c xenstored_local_init() -> HYPERVISOR_event_channel_op()

Type Parameter Key Value
PARAM_VALUE 0 cmd 6
PARAM_VALUE 1 arg 8495553322907521024
BUF_SIZE 1 arg 8

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

Type Parameter Key Value
PARAM_VALUE 0 cmd 4
PARAM_VALUE 1 arg 3558486365263687680
BUF_SIZE 1 arg 4
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq

drivers/xen/events/events_base.c __startup_pirq() -> HYPERVISOR_event_channel_op()

Type Parameter Key Value
PARAM_VALUE 0 cmd 2
PARAM_VALUE 1 arg 6563053147766927360
BUF_SIZE 1 arg 12
RX_PATH
TASK_NOT_RUNNING

drivers/xen/events/events_base.c bind_interdomain_evtchn_to_irq_chip() -> HYPERVISOR_event_channel_op()

Type Parameter Key Value
PARAM_VALUE 0 cmd 0
PARAM_VALUE 1 arg 4038319412163387392
BUF_SIZE 1 arg 12
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &xenwatch_mutex

drivers/xen/events/events_base.c bind_ipi_to_irq() -> HYPERVISOR_event_channel_op()

Type Parameter Key Value
PARAM_VALUE 0 cmd 7
PARAM_VALUE 1 arg 1759377387258806272
BUF_SIZE 1 arg 8
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &irq_mapping_update_lock

drivers/xen/events/events_base.c bind_virq_to_irq() -> HYPERVISOR_event_channel_op()

Type Parameter Key Value
PARAM_VALUE 0 cmd 1
PARAM_VALUE 1 arg 6016667617705336832
BUF_SIZE 1 arg 12
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &irq_mapping_update_lock

drivers/xen/events/events_base.c find_virq() -> HYPERVISOR_event_channel_op()

Type Parameter Key Value
PARAM_VALUE 0 cmd 5
PARAM_VALUE 1 arg 540790840256425984
BUF_SIZE 1 arg 24
MEM_ZERO 1 arg
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &irq_mapping_update_lock

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

Type Parameter Key Value
PARAM_VALUE 0 cmd 4
PARAM_VALUE 1 arg 2235675836136230912
BUF_SIZE 1 arg 4
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING

drivers/xen/events/events_base.c restore_cpu_ipis() -> HYPERVISOR_event_channel_op()

Type Parameter Key Value
PARAM_VALUE 0 cmd 7
PARAM_VALUE 1 arg 6088148730452992000
BUF_SIZE 1 arg 8
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 flags

drivers/xen/events/events_base.c restore_cpu_virqs() -> HYPERVISOR_event_channel_op()

Type Parameter Key Value
PARAM_VALUE 0 cmd 1
PARAM_VALUE 1 arg 1305282157983981568
BUF_SIZE 1 arg 12
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 flags

drivers/xen/events/events_base.c xen_evtchn_close() -> HYPERVISOR_event_channel_op()

Type Parameter Key Value
PARAM_VALUE 0 cmd 3
PARAM_VALUE 1 arg 1172005638636867584
BUF_SIZE 1 arg 4
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &irq_mapping_update_lock

drivers/xen/events/events_base.c xen_rebind_evtchn_to_cpu() -> HYPERVISOR_event_channel_op()

Type Parameter Key Value
PARAM_VALUE 0 cmd 8
PARAM_VALUE 1 arg 6404285384169115648
BUF_SIZE 1 arg 8
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 irq

drivers/xen/events/events_base.c xen_set_irq_priority() -> HYPERVISOR_event_channel_op()

Type Parameter Key Value
PARAM_VALUE 0 cmd 13
PARAM_VALUE 1 arg 6279438684891901952
BUF_SIZE 1 arg 8
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 0 cmd 4
PARAM_VALUE 1 arg 4291477720252354560
BUF_SIZE 1 arg 4
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &gref_mutex

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

Type Parameter Key Value
PARAM_VALUE 0 cmd 4
PARAM_VALUE 1 arg 423616079540379648
BUF_SIZE 1 arg 4
HALF_LOCKED2 global &xb_write_mutex

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

Type Parameter Key Value
PARAM_VALUE 0 cmd 1
PARAM_VALUE 1 arg 3972886967562891264
BUF_SIZE 1 arg 12
LOCK2 &u->bind_mutex
TYPE_LOCK (struct per_user_data)->bind_mutex

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

Type Parameter Key Value
PARAM_VALUE 0 cmd 0
PARAM_VALUE 1 arg 8078595296174952448
BUF_SIZE 1 arg 12
LOCK2 &u->bind_mutex
TYPE_LOCK (struct per_user_data)->bind_mutex

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

Type Parameter Key Value
PARAM_VALUE 0 cmd 6
PARAM_VALUE 1 arg 2900356703056617472
BUF_SIZE 1 arg 8
LOCK2 &u->bind_mutex
TYPE_LOCK (struct per_user_data)->bind_mutex

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

Type Parameter Key Value
PARAM_VALUE 0 cmd 4
PARAM_VALUE 1 arg 6319527209133764608
BUF_SIZE 1 arg 4
LOCK2 &u->bind_mutex
TYPE_LOCK (struct per_user_data)->bind_mutex

drivers/xen/evtchn.c xen_evtchn_close() -> HYPERVISOR_event_channel_op()

Type Parameter Key Value
PARAM_VALUE 0 cmd 3
PARAM_VALUE 1 arg 4608001091142950912
BUF_SIZE 1 arg 4
LOCK2 &u->bind_mutex
TYPE_LOCK (struct per_user_data)->bind_mutex

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

Type Parameter Key Value
PARAM_VALUE 0 cmd 4
PARAM_VALUE 1 arg 5491687338663706624
BUF_SIZE 1 arg 4
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pdev->sh_info_lock
HALF_LOCKED2 irq_flags