Changeset View

Standalone View

	Show All 39 Lines
	enum evtchn_type {			enum evtchn_type {
	EVTCHN_TYPE_UNBOUND,			EVTCHN_TYPE_UNBOUND,
	EVTCHN_TYPE_VIRQ,			EVTCHN_TYPE_VIRQ,
	EVTCHN_TYPE_IPI,			EVTCHN_TYPE_IPI,
	EVTCHN_TYPE_PORT,			EVTCHN_TYPE_PORT,
	EVTCHN_TYPE_COUNT			EVTCHN_TYPE_COUNT
	};			};

	/** Submit a port notification for delivery to a userland evtchn consumer */
	void evtchn_device_upcall(evtchn_port_t port);

	/**			/**
	* Disable signal delivery for an event channel port, returning its			* Disable signal delivery for an event channel port, returning its
	* previous mask state.			* previous mask state.
	*			*
	* \param port The event channel port to query and mask.			* \param port The event channel port to query and mask.
	*			*
	* \returns 1 if event delivery was previously disabled. Otherwise 0.			* \returns 1 if event delivery was previously disabled. Otherwise 0.
	*/			*/
	▲ Show 20 Lines • Show All 46 Lines • Show Last 20 Lines