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