From mboxrd@z Thu Jan  1 00:00:00 1970
From: Xu Zhang <xzhang@cs.uic.edu>
Subject: Re: [PATCH 6/6] mini-os/x86-64 entry: check against
 nested events and try to fix up
Date: Tue, 12 Mar 2013 21:53:19 -0800
Message-ID: <5140144F.6020102@cs.uic.edu>
References: <1362778219-8576-1-git-send-email-xzhang@cs.uic.edu>
	<1362778219-8576-7-git-send-email-xzhang@cs.uic.edu>
	<513BBB43.6060201@goop.org> <513FE798.7040409@uic.edu>
Mime-Version: 1.0
Content-Type: text/plain; charset="us-ascii"; Format="flowed"
Content-Transfer-Encoding: 7bit
Return-path: <xen-devel-bounces@lists.xen.org>
In-Reply-To: <513FE798.7040409@uic.edu>
List-Unsubscribe: <http://lists.xen.org/cgi-bin/mailman/options/xen-devel>,
	<mailto:xen-devel-request@lists.xen.org?subject=unsubscribe>
List-Post: <mailto:xen-devel@lists.xen.org>
List-Help: <mailto:xen-devel-request@lists.xen.org?subject=help>
List-Subscribe: <http://lists.xen.org/cgi-bin/mailman/listinfo/xen-devel>,
	<mailto:xen-devel-request@lists.xen.org?subject=subscribe>
Sender: xen-devel-bounces@lists.xen.org
Errors-To: xen-devel-bounces@lists.xen.org
To: Jeremy Fitzhardinge <jeremy@goop.org>
Cc: samuel.thibault@ens-lyon.org, stefano.stabellini@eu.citrix.com, gm281@cam.ac.uk, xen-devel@lists.xen.org
List-Id: xen-devel@lists.xenproject.org

On 3/12/2013 6:42 PM, Xu Zhang wrote:
> Basically both approaches are correct to me and do the same job. 
> Xen-Linux 32bit is definitely a more neat solution. However, one thing 
> to notice is that mini-os x86 32bit also uses a fixup table. I guess 
> we could apply these patches as a temporary solution to make sure 
> everything is correct and consistent, and having following patches to 
> do the refinement.
Ah, somewhat "consistent". :-) And by refinement I mean refinement on 
both 32bit and 64bit mini-os x86 kernel entries: basically replacing use 
of look up table with Xen-Linux x86-32bit's approach.

Thanks,

- Xu