[Xen-devel] [RESEND] evtchn sanity check

["King, Steven R" <steven.r.king@xxxxxxxxx>]

Apologies if this comes through twice.
-----------------------------------------------------------
Would appreciate a sanity check on my understanding:

A read() from an interdomain event channel file descriptor
(/dev/xen/evtchn) returns 16-bit port numbers on which there is an
event.  Is there ever anything else that is read() from the interdomain
event channel?

When doing a write() on an interdomain event channel file descriptor,
the data written are 16-bit port values for which events should be
enabled (or generated?).  Is there ever anything else that is write()'n
to an event channel?

After doing a notify() IOCTL on an interdomain event channel, a read()
on the remote file descriptor returns the 16-bit port number that
received the notify.

Thanks,
-steve

_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-devel