From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:4830:134:3::10]:53587) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1WLAXw-0004hj-OK for qemu-devel@nongnu.org; Wed, 05 Mar 2014 07:03:41 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1WLAXs-0005MZ-97 for qemu-devel@nongnu.org; Wed, 05 Mar 2014 07:03:36 -0500 Received: from static.88-198-71-155.clients.your-server.de ([88.198.71.155]:36435 helo=socrates.bennee.com) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1WLAXs-0005MT-32 for qemu-devel@nongnu.org; Wed, 05 Mar 2014 07:03:32 -0500 References: <1393952650-16802-1-git-send-email-rth@twiddle.net> <1393952650-16802-3-git-send-email-rth@twiddle.net> From: Alex =?utf-8?Q?Benn=C3=A9e?= In-reply-to: <1393952650-16802-3-git-send-email-rth@twiddle.net> Date: Wed, 05 Mar 2014 12:03:53 +0000 Message-ID: <87eh2gdf86.fsf@linaro.org> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit Subject: Re: [Qemu-devel] [PATCH 02/10] tcg-aarch64: Remove redundantCPU_TLB_ENTRY_BITS checkk List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , To: Richard Henderson Cc: Peter Maydell , qemu-devel@nongnu.org, Claudio Fontana Richard Henderson writes: > Removed from other targets in 56bbc2f967ce185fa1c5c39e1aeb5b68b26242e9. > > Signed-off-by: Richard Henderson Reviewed-by: Alex Bennée > --- > tcg/aarch64/tcg-target.c | 6 ------ > 1 file changed, 6 deletions(-) > > diff --git a/tcg/aarch64/tcg-target.c b/tcg/aarch64/tcg-target.c > index 04d7ae3..efbeac7 100644 > --- a/tcg/aarch64/tcg-target.c > +++ b/tcg/aarch64/tcg-target.c > @@ -1441,12 +1441,6 @@ static const TCGTargetOpDef aarch64_op_defs[] = { > > static void tcg_target_init(TCGContext *s) > { > -#if !defined(CONFIG_USER_ONLY) > - /* fail safe */ > - if ((1ULL << CPU_TLB_ENTRY_BITS) != sizeof(CPUTLBEntry)) { > - tcg_abort(); > - } > -#endif > tcg_regset_set32(tcg_target_available_regs[TCG_TYPE_I32], 0, 0xffffffff); > tcg_regset_set32(tcg_target_available_regs[TCG_TYPE_I64], 0, 0xffffffff); -- Alex Bennée