Received-SPF: pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) client-ip=209.132.180.67;
Date:   Sun, 24 Jun 2018 16:14:11 +0900 (KST)
Message-Id: <20180624.161411.1560796210597132716.davem@davemloft.net>
To:     tglx@linutronix.de
Cc:     syzbot+a4eb8c7766952a1ca872@syzkaller.appspotmail.com,
        ast@kernel.org, daniel@iogearbox.net, hpa@zytor.com,
        kuznet@ms2.inr.ac.ru, linux-kernel@vger.kernel.org,
        mingo@redhat.com, netdev@vger.kernel.org,
        syzkaller-bugs@googlegroups.com, x86@kernel.org,
        yoshfuji@linux-ipv6.org, peterz@infradead.org
Subject: Re: BUG: unable to handle kernel paging request in
 bpf_int_jit_compile
From:   David Miller <davem@davemloft.net>
In-Reply-To: <alpine.DEB.2.21.1806240849150.8650@nanos.tec.linutronix.de>
References: <000000000000d48c8e056f5b6c67@google.com>
        <alpine.DEB.2.21.1806240849150.8650@nanos.tec.linutronix.de>
Mime-Version: 1.0
Content-Type: Text/Plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Sender: linux-kernel-owner@vger.kernel.org
Precedence: bulk

From: Thomas Gleixner <tglx@linutronix.de>
Date: Sun, 24 Jun 2018 09:09:09 +0200 (CEST)

> I'm really tempted to make the BPF config switch depend on BROKEN. 

This really isn't necessary Thomas.

Whoever wrote the code didn't understand that set ro can legitimately
fail.

So let's correct that instead of flaming a feature.

Thank you.