On Sat, May 18, 2024 at 3:18 AM Tamas K Lengyel <[email protected]> wrote: > > > - ap2m = array_access_nospec(d->arch.altp2m_p2m, altp2m_idx); > > + ap2m = d->arch.altp2m_p2m[altp2m_idx]; > > Why is it no longer necessary to use array_access_nospec? > > Tamas
I was under the impression that when the domain_create guarantees the length of the array, and before each access to the altp2m_p2m there is an explicit check if idx is within bounds of nr_altp2m, that the array_access_nospec is not needed anymore. But apparently I misunderstood how speculative execution works, when I now read about it. I'll put it back. P.
