|
|
|
|
|
|
|
|
|
|
xen-ia64-devel
Re: [Xen-ia64-devel] [PATCH] fix domain_flush_vtlb_all()
On Thu, 2007-01-11 at 21:07 +0900, Isaku Yamahata wrote:
> fix domain_flush_vtlb_all(). It might called by another domain's vcpu.
Applied. Thanks,
Alex
--
Alex Williamson HP Open Source & Linux Org.
_______________________________________________
Xen-ia64-devel mailing list
Xen-ia64-devel@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-ia64-devel
|
|
|
|
|