events.h File Reference

Xen event channel services. More...

#include <zephyr/xen/public/event_channel.h>
#include <zephyr/kernel.h>

Go to the source code of this file.

Typedefs
typedef void(*	evtchn_cb_t) (void *priv)
	Event-channel callback signature.

Functions
int	evtchn_status (evtchn_status_t *status)
	Query the status of an event channel.
int	evtchn_close (evtchn_port_t port)
	Close a local event channel.
int	evtchn_set_priority (evtchn_port_t port, uint32_t priority)
	Set the Xen priority assigned to an event channel.
int	notify_evtchn (evtchn_port_t port)
	Send a notification over an event channel.
int	alloc_unbound_event_channel (domid_t remote_dom)
	Allocate an unbound event channel for the calling domain.
int	alloc_unbound_event_channel_dom0 (domid_t dom, domid_t remote_dom)
	Allocate an unbound event channel between two domains.
int	bind_interdomain_event_channel (domid_t remote_dom, evtchn_port_t remote_port, evtchn_cb_t cb, void *data)
	Bind to a remote event channel and register a callback.
int	bind_event_channel (evtchn_port_t port, evtchn_cb_t cb, void *data)
	Attach a callback to an already allocated local event channel.
int	unbind_event_channel (evtchn_port_t port)
	Remove the callback bound to an event channel.
int	get_missed_events (evtchn_port_t port)
	Get and clear the missed-event state for an unbound channel.
int	mask_event_channel (evtchn_port_t port)
	Mask local delivery for an event channel.
int	unmask_event_channel (evtchn_port_t port)
	Unmask local delivery for an event channel.
void	clear_event_channel (evtchn_port_t port)
	Clear the pending bit for an event channel.
int	xen_events_init (void)
	Initialize Xen event handling for the current guest.

Detailed Description

Xen event channel services.