|
|
|
|
|
|
|
|
|
|
xen-ia64-devel
[Xen-ia64-devel] Question about evtchn_vector
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.
_______________________________________________
Xen-ia64-devel mailing list
Xen-ia64-devel@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-ia64-devel
|
<Prev in Thread] |
Current Thread |
[Next in Thread>
|
- [Xen-ia64-devel] Question about evtchn_vector,
Tristan Gingold <=
|
|
|
|
|