well first of all don't use IBRS, use retpoline and if Andrea says this was a known issue in their code then I think that closes the issue.
> -----Original Message----- > From: David Woodhouse [mailto:dw...@infradead.org] > Sent: Saturday, January 20, 2018 1:03 AM > To: Hou Tao <hout...@huawei.com>; aarca...@redhat.com; linux- > ker...@vger.kernel.org; Van De Ven, Arjan <arjan.van.de....@intel.com> > Cc: mi...@redhat.com; Thomas Gleixner <t...@linutronix.de>; > a...@linux.intel.com; dave.han...@linux.intel.com; pet...@infradead.org; > qiuxi...@huawei.com; wangkefeng.w...@huawei.com > Subject: Re: [RH72 Spectre] ibpb_enabled = 1 leads to hard LOCKUP under > x86_64 host machine > > On Sat, 2018-01-20 at 17:00 +0800, Hou Tao wrote: > > > > So has anyone encountered a similar problem before, and any suggestions > > and directions for the hard LOCKUP problems ? > > Arjan, what is the Intel recommendation here?