From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1753583Ab2FKDbJ (ORCPT ); Sun, 10 Jun 2012 23:31:09 -0400 Received: from terminus.zytor.com ([198.137.202.10]:54655 "EHLO mail.zytor.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1752373Ab2FKDbH (ORCPT ); Sun, 10 Jun 2012 23:31:07 -0400 References: <20120608135200.371649691@goodmis.org> <20120608135603.699156773@goodmis.org> <4FD223E1.1090707@zytor.com> <1339173716.13377.50.camel@gandalf.stny.rr.com> <4FD23626.4020802@zytor.com> <1339176975.13377.56.camel@gandalf.stny.rr.com> <4FD238CD.8000601@zytor.com> <1339177929.13377.66.camel@gandalf.stny.rr.com> <32f96f44-00a6-4341-a87c-888e0debcebf@email.android.com> User-Agent: K-9 Mail for Android In-Reply-To: MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Subject: Re: [PATCH 2/3] x86: Remove cmpxchg from i386 NMI nesting code From: "H. Peter Anvin" Date: Sun, 10 Jun 2012 20:17:03 -0700 To: "Maciej W. Rozycki" CC: Steven Rostedt , linux-kernel@vger.kernel.org, Ingo Molnar , Andrew Morton , Thomas Gleixner Message-ID: Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org libx86 is used for this. Of course, when you interpret you can also record... "Maciej W. Rozycki" wrote: >On Sun, 10 Jun 2012, H. Peter Anvin wrote: > >> Just use a VM or a simulator. > > That wasn't completely serious ;) -- however thanks for the hint. I >wonder actually if any piece of software would let the code run in a >"pass-through" mode and record what I/O accesses went past. I reckon >DOSEMU used to support that (and running the VGA BIOS) -- but that >piece >did indeed require vm86. Then the sequence recorded could be replayed >natively. > > Thanks for the food for thought! :) > > Maciej -- Sent from my mobile phone. Please excuse brevity and lack of formatting.