This is all correct. The only things read/written from/to the device
are 16-bit port numbers.
-- 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@lists.xensource.com
> http://lists.xensource.com/xen-devel
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xensource.com
http://lists.xensource.com/xen-devel