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@lists.xensource.com http://lists.xensource.com/xen-devel