From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from smtp.kernel.org (aws-us-west-2-korg-mail-1.web.codeaurora.org [10.30.226.201]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by smtp.subspace.kernel.org (Postfix) with ESMTPS id D65E3338593; Mon, 16 Mar 2026 18:13:05 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; arc=none smtp.client-ip=10.30.226.201 ARC-Seal:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1773684785; cv=none; b=Qb4HWeMrvGF6R1ZwE/GM35bO7enpWWvO8Sg1iZXn0Pb0f39WRu2y7zjTjrrpVz4pKW8HAcyrxEZCZy0OzCOhF30L7CuAch8jh/X9TPPn/mzrkrlRI0VGDRuMLijx4r4XwoK9QK+/2KGQU8LRF8nHGWap4lHCBJBS+UP1phSu+Js= ARC-Message-Signature:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1773684785; c=relaxed/simple; bh=mcq5BQW0yR0Ua/3eEaF+HfV4hfi4nOrG+gTQm3NMN1k=; h=Date:Message-ID:From:To:Cc:Subject:In-Reply-To:References: MIME-Version:Content-Type; b=gm9BBhPL9ynkOfPC5koAU5d6+aQUsTq35am9rh06cuIxopYZqHipu3zua5VOswVqosLeXKxoxqsrnzrVQgxMrj2KGw5pbJrQe0NX8KAf8OJSNAerM1pMeW7yP/B9pZPjMOpjpwPYYw2P766p2qzTZ33IZFzcNEqT/gb7f8nAD7E= ARC-Authentication-Results:i=1; smtp.subspace.kernel.org; dkim=pass (2048-bit key) header.d=kernel.org header.i=@kernel.org header.b=XGIkyp+V; arc=none smtp.client-ip=10.30.226.201 Authentication-Results: smtp.subspace.kernel.org; dkim=pass (2048-bit key) header.d=kernel.org header.i=@kernel.org header.b="XGIkyp+V" Received: by smtp.kernel.org (Postfix) with ESMTPSA id 72035C19421; Mon, 16 Mar 2026 18:13:05 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=kernel.org; s=k20201202; t=1773684785; bh=mcq5BQW0yR0Ua/3eEaF+HfV4hfi4nOrG+gTQm3NMN1k=; h=Date:From:To:Cc:Subject:In-Reply-To:References:From; b=XGIkyp+VdeqtWWgNVwqaZUUEfxou4LfIa1IYMOlPQiqHaWzH3c2FzgY5KwJFqrgD9 lZC1KxSyVLvi4yATjBAUdizBnxBarHJPHWDIPnM0UUqsdXBdAwFqMi89AjQZEx9Fcr wzI2FrxqPxytJO30Ofe4QOaXHIlr8W8S5fxHReNkJxJlrGVwbzYtBs8h1uESGHs3XT 5nCrdIwCihaaL/Cjho8eMU8+W7zmSgPy0tzKhQnUKNk/o3mCyRm8eMxNgBdDpsCsH9 5oTCePz6RU80xD3vuuGfXc3VkwDG2TJuRE/hHagUK+YWBZXFVJSmgzYfE71rr3xTin 2fmOzTE/Zm/eA== Received: from sofa.misterjones.org ([185.219.108.64] helo=goblin-girl.misterjones.org) by disco-boy.misterjones.org with esmtpsa (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.98.2) (envelope-from ) id 1w2CR5-00000002Xkc-20pD; Mon, 16 Mar 2026 18:13:03 +0000 Date: Mon, 16 Mar 2026 18:13:03 +0000 Message-ID: <86y0jr63tc.wl-maz@kernel.org> From: Marc Zyngier To: Fuad Tabba Cc: kvm@vger.kernel.org, kvmarm@lists.linux.dev, linux-arm-kernel@lists.infradead.org, oliver.upton@linux.dev, joey.gouly@arm.com, suzuki.poulose@arm.com, yuzenghui@huawei.com, catalin.marinas@arm.com, will@kernel.org, qperret@google.com, vdonnefort@google.com Subject: Re: [PATCH v1 00/13] KVM: arm64: Refactor user_mem_abort() into a state-object model In-Reply-To: References: <20260306140232.2193802-1-tabba@google.com> <86ikb96kg8.wl-maz@kernel.org> User-Agent: Wanderlust/2.15.9 (Almost Unreal) SEMI-EPG/1.14.7 (Harue) FLIM-LB/1.14.9 (=?UTF-8?B?R29qxY0=?=) APEL-LB/10.8 EasyPG/1.0.0 Emacs/30.1 (aarch64-unknown-linux-gnu) MULE/6.0 (HANACHIRUSATO) Precedence: bulk X-Mailing-List: kvm@vger.kernel.org List-Id: List-Subscribe: List-Unsubscribe: MIME-Version: 1.0 (generated by SEMI-EPG 1.14.7 - "Harue") Content-Type: text/plain; charset=US-ASCII X-SA-Exim-Connect-IP: 185.219.108.64 X-SA-Exim-Rcpt-To: tabba@google.com, kvm@vger.kernel.org, kvmarm@lists.linux.dev, linux-arm-kernel@lists.infradead.org, oliver.upton@linux.dev, joey.gouly@arm.com, suzuki.poulose@arm.com, yuzenghui@huawei.com, catalin.marinas@arm.com, will@kernel.org, qperret@google.com, vdonnefort@google.com X-SA-Exim-Mail-From: maz@kernel.org X-SA-Exim-Scanned: No (on disco-boy.misterjones.org); SAEximRunCond expanded to false On Fri, 06 Mar 2026 15:44:44 +0000, Fuad Tabba wrote: > > I have to admit, breaking this down into pieces and seeing how much > tidier and easier to understand it became felt oddly satisfying. I can only agree. Having played with this for a few days, I came up with a set of additional changes that get rid of this kvm_s2_fault entirely, and sandbox the state in funny ways. You'll find the result in your inbox... Thanks, M. -- Without deviation from the norm, progress is not possible.