-- Keir
On 18 Oct 2005, at 22:30, King, Steven R wrote:

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

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