From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1751468AbdLAQDT (ORCPT ); Fri, 1 Dec 2017 11:03:19 -0500 Received: from mail.kernel.org ([198.145.29.99]:59494 "EHLO mail.kernel.org" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1751105AbdLAQDS (ORCPT ); Fri, 1 Dec 2017 11:03:18 -0500 DMARC-Filter: OpenDMARC Filter v1.3.2 mail.kernel.org 17CB621905 Authentication-Results: mail.kernel.org; dmarc=none (p=none dis=none) header.from=goodmis.org Authentication-Results: mail.kernel.org; spf=none smtp.mailfrom=rostedt@goodmis.org Date: Fri, 1 Dec 2017 11:03:15 -0500 From: Steven Rostedt To: Sebastian Andrzej Siewior Cc: Peter Zijlstra , Ingo Molnar , Daniel Wagner , linux-rt-users@vger.kernel.org, linux-kernel@vger.kernel.org Subject: Re: Null pointer 4.14.1-rt3 Message-ID: <20171201110315.48d5c984@gandalf.local.home> In-Reply-To: <20171201122605.GD1612@linutronix.de> References: <80ce7c3e-2d01-f082-9c21-fc1084a836c8@monom.org> <8c913cc2-b2e3-8c2e-e503-aff1428f8ff5@monom.org> <20171130112232.4c0cb600@gandalf.local.home> <20171130162433.GG11362@linutronix.de> <20171130113533.4485d894@gandalf.local.home> <20171201122605.GD1612@linutronix.de> X-Mailer: Claws Mail 3.14.0 (GTK+ 2.24.31; x86_64-pc-linux-gnu) MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On Fri, 1 Dec 2017 13:26:05 +0100 Sebastian Andrzej Siewior wrote: > - disable RT_PUSH_IPI if booted on UP. After all there is not much > benefit here, is there? This is what I would suggest. Maybe I'll look at adding a patch. -- Steve