RE: [Xen-ia64-devel] Question about evtchn_vector

["Tian, Kevin" <kevin.tian@xxxxxxxxx>]

>From:Tristan Gingold
>Sent: 2006年5月9日 23:22
>
>Hi,
>
>currently evtchn_vector is a field of vcpu_info.  I think it should be a field
>of shared_info, because it is shared by every processor.
>Comment ?
>
>Tristan.
>

Yes, that vector is domain-wise. However do you really need put it 
into shared_info? Guest doesn't access this field directly, and how 
about moving it into arch_domain?

Thanks,
Kevin

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