From mboxrd@z Thu Jan 1 00:00:00 1970 From: Alex Williamson Subject: RE: [Xen-ia64-devel] [PATCH]Make VTIdomain boot again Date: Thu, 09 Feb 2006 08:12:06 -0700 Message-ID: <1139497926.26420.244.camel@localhost> References: <2BF508F394C196468CCBEC031320DCDF3808D0@pdsmsx405> Mime-Version: 1.0 Content-Type: text/plain Content-Transfer-Encoding: 7bit Return-path: In-Reply-To: <2BF508F394C196468CCBEC031320DCDF3808D0@pdsmsx405> List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Sender: xen-devel-bounces@lists.xensource.com Errors-To: xen-devel-bounces@lists.xensource.com To: "Xu, Anthony" Cc: xen-devel@lists.xensource.com, xen-ia64-devel@lists.xensource.com List-Id: xen-devel@lists.xenproject.org On Thu, 2006-02-09 at 15:14 +0800, Xu, Anthony wrote: > Williamson, > > This patch is just a workaround, the essential cause is, the soft_IRQ > should be done at the path of ia64_leave_kernel which aligned with > native linux and XEN/X86, instead of being invoking in irq_exit > function. > > What's your opinion? I'm afraid workarounds always last longer than expected, so we should still try to do this cleanly. Xen 3.0.1 is already out so the time pressure to get this fixed is lessened. Being ia64 specific Xen code, I think we should try to do it right, get it into xen-ia64-unstable, then push it to xen-unstable. Thanks, Alex -- Alex Williamson HP Linux & Open Source Lab