|
|
|
|
|
|
|
|
|
|
xen-ia64-devel
RE: [Xen-ia64-devel] Question about evtchn_vector
>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
|
|
|
|
|