> > * How should CPU0 event-channel notifications be delivered?
> > + * val[63:56] == 0: val[55:0] is a delivery GSI (Global System
> > Interrupt).
> > + * val[63:56] == 1: val[55:0] is a delivery PCI INTx line, as follows:
> > + * Domain = val[47:32], Bus = val[31:16],
> > + * DevFn = val[15: 8], IntX = val[ 1: 0]
> > + * If val == 0 then CPU0 event-channel notifications are not delivered.
> > 
> > I don't see val[63:56] == 2 ?
> > 
>
> the comment on the other patch needs to be update as well
Yup, and it looks that this also needs a patch to xen-unstable.hg as that
header file is missing this data too.
_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-devel