On Sat, May 16, 2020 at 02:47:42PM +0000, Luck, Tony wrote: > There is only one actual machine check. But the VMM simulates a second > machine check to the guest when the guest tries to access the poisoned > page.
If the VMM unmaps the bad page, why doesn't the guest get a #PF instead injected by the VMM instead of latter injecting a second #MCE? If the guest tries to access an unmapped page, it should get a #PF, I'd expect. -- Regards/Gruss, Boris. https://people.kernel.org/tglx/notes-about-netiquette