[Xen-devel] evtchn sanity check

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

Would appreciate a sanity check on my understanding:

When doing a read() from an interdomain event channel file descriptor
(/dev/xen/evtchn), the values read are 16-bit port numbers on which
there is an event.  Is there ever anything else that is read() from the
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 for the time,
-steve

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