Thanks Michael for below info.
> On May 18, 2023, at 8:36 AM, Michael Kubacki
> wrote:
>
> The spell check CI plugin is in "AuditOnly" mode so it is not actually
> failing the build.
>
> https://github.com/tianocore/edk2/blob/master/MdePkg/MdePkg.ci.yaml#L166
>
> This has more info about ho
On Sat, 20 May 2023 at 10:37, Oliver Steffen wrote:
>
> Quoting Ard Biesheuvel (2023-05-19 23:36:53)
> > On Fri, 19 May 2023 at 18:32, Oliver Steffen wrote:
> > >
> > >
> > > Hi all,
> > >
> > > I had another look at this and I can now reproduce the issue consistently,
> > > with a quite minimal
The helper that updates live page table entries writes a zero entry,
invalidates the covered address range from the TLBs, and finally writes
the actual entry. This ensures that no TLB conflicts can occur.
Writing the final entry needs to complete before any translations can be
performed, as otherw
Quoting Ard Biesheuvel (2023-05-19 23:36:53)
> On Fri, 19 May 2023 at 18:32, Oliver Steffen wrote:
> >
> >
> > Hi all,
> >
> > I had another look at this and I can now reproduce the issue consistently,
> > with a quite minimal setup, on recent Linux kernel, Qemu, and EDK2.
> > It requires rebootin
