Re: [PATCH v2 0/3] x86/crash: Fix double NMI shootdown bug
From: Guilherme G. Piccoli
Date: Fri Jun 03 2022 - 12:09:05 EST
Hi Sean / Thomas, was this merged anywhere? I just checked and seems it
didn't reach mainline...patch 01 is especially relevant, IMHO.
Thanks in advance,
Guilherme