From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on aws-us-west-2-korg-lkml-1.web.codeaurora.org X-Spam-Level: X-Spam-Status: No, score=-0.6 required=3.0 tests=DKIM_INVALID,DKIM_SIGNED, HEADER_FROM_DIFFERENT_DOMAINS,MAILING_LIST_MULTI,SPF_HELO_NONE,SPF_PASS autolearn=no autolearn_force=no version=3.4.0 Received: from mail.kernel.org (mail.kernel.org [198.145.29.99]) by smtp.lore.kernel.org (Postfix) with ESMTP id 08E10C432C3 for ; Tue, 26 Nov 2019 20:11:25 +0000 (UTC) Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by mail.kernel.org (Postfix) with ESMTPS id B264E2073F for ; Tue, 26 Nov 2019 20:11:24 +0000 (UTC) Authentication-Results: mail.kernel.org; dkim=fail reason="signature verification failed" (2048-bit key) header.d=apple.com header.i=@apple.com header.b="KTC+pHk2" DMARC-Filter: OpenDMARC Filter v1.3.2 mail.kernel.org B264E2073F Authentication-Results: mail.kernel.org; dmarc=none (p=none dis=none) header.from=nongnu.org Authentication-Results: mail.kernel.org; spf=pass smtp.mailfrom=qemu-devel-bounces+qemu-devel=archiver.kernel.org@nongnu.org Received: from localhost ([::1]:58706 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1iZhBD-000052-Pg for qemu-devel@archiver.kernel.org; Tue, 26 Nov 2019 15:11:23 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]:40842) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1iZhAF-0007zt-LD for qemu-devel@nongnu.org; Tue, 26 Nov 2019 15:10:24 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1iZhAD-00054H-QF for qemu-devel@nongnu.org; Tue, 26 Nov 2019 15:10:23 -0500 Received: from nwk-aaemail-lapp01.apple.com ([17.151.62.66]:42308) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1iZhAC-00052g-Cv for qemu-devel@nongnu.org; Tue, 26 Nov 2019 15:10:21 -0500 Received: from pps.filterd (nwk-aaemail-lapp01.apple.com [127.0.0.1]) by nwk-aaemail-lapp01.apple.com (8.16.0.27/8.16.0.27) with SMTP id xAQK7dnt011279; Tue, 26 Nov 2019 12:10:17 -0800 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=apple.com; h=sender : content-type : mime-version : subject : from : in-reply-to : date : cc : content-transfer-encoding : message-id : references : to; s=20180706; bh=CB3IElBDl66OjYZAMoV+TZGUt3w6S4iBnkOkmbYa1SM=; b=KTC+pHk20AJwCwR8562SOdGK+W5x8HeCM7+N62kOP7r2eXKQ2RideX939pJxBUxRxjaL HptDcdFsrpRRXbmBnlj57RfvaxzlaYNfu0YXodiCS67mKZvAJnRs9PokLBH56S/hkHvC jAJDvz1nDZInYaiEvAZjC7bz5HAmDgUm+9Zct1nm3ymuTFpHl6gD+Cclmi3gZX5BDEpl iBZBhWQpiQHVhFmnj/tpO5K65D2HoKi8U+vWvi2eR/xVrW4mnkJdRQhiM2v4YJ9dQOri gDU3XtjM/6cHzlrl/zufnJU/J9eIazmttIZlcwCKTBPsd87T9sNvtQHXvI3jpn9cgI17 CQ== Received: from ma1-mtap-s02.corp.apple.com (ma1-mtap-s02.corp.apple.com [17.40.76.6]) by nwk-aaemail-lapp01.apple.com with ESMTP id 2wf4k4mmkb-4 (version=TLSv1.2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128 verify=NO); Tue, 26 Nov 2019 12:10:17 -0800 Received: from nwk-mmpp-sz12.apple.com (nwk-mmpp-sz12.apple.com [17.128.115.204]) by ma1-mtap-s02.corp.apple.com (Oracle Communications Messaging Server 8.0.2.4.20190507 64bit (built May 7 2019)) with ESMTPS id <0Q1L00GQDEP3HQ20@ma1-mtap-s02.corp.apple.com>; Tue, 26 Nov 2019 12:10:16 -0800 (PST) Received: from process_milters-daemon.nwk-mmpp-sz12.apple.com by nwk-mmpp-sz12.apple.com (Oracle Communications Messaging Server 8.0.2.4.20190507 64bit (built May 7 2019)) id <0Q1L00E00EGJ9M00@nwk-mmpp-sz12.apple.com>; Tue, 26 Nov 2019 12:10:16 -0800 (PST) X-Va-A: X-Va-T-CD: 07468e1da2f6e987d649ff6cb4055ea6 X-Va-E-CD: 0290939b57f26f9636033cc1cdfe3215 X-Va-R-CD: cc7fb021a0d3ff63779d08eb77fd3ee2 X-Va-CD: 0 X-Va-ID: 6e8e123c-778a-413d-952e-e7fb051df89c X-V-A: X-V-T-CD: 07468e1da2f6e987d649ff6cb4055ea6 X-V-E-CD: 0290939b57f26f9636033cc1cdfe3215 X-V-R-CD: cc7fb021a0d3ff63779d08eb77fd3ee2 X-V-CD: 0 X-V-ID: b5b81fd6-3f02-4a68-a6c4-3ecc3a403c0e X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10434:,, definitions=2019-11-26_06:,, signatures=0 Received: from [17.234.111.141] (unknown [17.234.111.141]) by nwk-mmpp-sz12.apple.com (Oracle Communications Messaging Server 8.0.2.4.20190507 64bit (built May 7 2019)) with ESMTPSA id <0Q1L00ENGEP3UI90@nwk-mmpp-sz12.apple.com>; Tue, 26 Nov 2019 12:10:16 -0800 (PST) Content-type: text/plain; charset=us-ascii MIME-version: 1.0 (Mac OS X Mail 12.4 \(3445.104.11\)) Subject: Re: [PATCH v2 0/5] hvf: stability fixes for HVF In-reply-to: <78511040-b432-c456-b737-50ec839bde30@redhat.com> Date: Tue, 26 Nov 2019 12:10:15 -0800 Cc: qemu-devel@nongnu.org, Peter Maydell Content-transfer-encoding: 7bit Message-id: References: <78511040-b432-c456-b737-50ec839bde30@redhat.com> To: Paolo Bonzini X-Mailer: Apple Mail (2.3445.104.11) X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10434:, , definitions=2019-11-26_06:, , signatures=0 X-detected-operating-system: by eggs.gnu.org: GNU/Linux 3.x [generic] [fuzzy] X-Received-From: 17.151.62.66 X-BeenThere: qemu-devel@nongnu.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: qemu-devel-bounces+qemu-devel=archiver.kernel.org@nongnu.org Sender: "Qemu-devel" Reply-to: Cameron Esfahani From: Cameron Esfahani via Let me see if I can add some assertions. Cameron Esfahani dirty@apple.com "The cake is a lie." Common wisdom > On Nov 25, 2019, at 2:28 AM, Paolo Bonzini wrote: > > Certainly no doubt about patches 1-4, while for patch 5 I'm wondering if > it's masking another bug; I'd prefer to have also some assertions that > interrupt_injected is never an exception and exception_nr is never an > interrupt. >