From mboxrd@z Thu Jan 1 00:00:00 1970 From: steve.capper@linaro.org (Steve Capper) Date: Tue, 3 Jun 2014 16:31:57 +0100 Subject: [PATCHv2 1/4] arm64: Add CONFIG_DEBUG_SET_MODULE_RONX support In-Reply-To: <20140603152201.GP23149@arm.com> References: <1401742658-11841-1-git-send-email-lauraa@codeaurora.org> <1401742658-11841-2-git-send-email-lauraa@codeaurora.org> <20140603152201.GP23149@arm.com> Message-ID: To: linux-arm-kernel@lists.infradead.org List-Id: linux-arm-kernel.lists.infradead.org On 3 June 2014 16:22, Will Deacon wrote: [ ... ] > > We already have an isb in flush_tlb_kernel_range. Hi Will, The following thread discusses the removal of the isb() from flush_tlb_kernel_range: http://lists.infradead.org/pipermail/linux-arm-kernel/2014-May/252829.html Also, I asked for it to be added to this series in this email thread but you thought it was benign: http://lists.infradead.org/pipermail/linux-arm-kernel/2014-May/252869.html So we could probably do without the isb(.). Cheers, -- Steve