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