On Thu, Jan 05, 2023, Lai Jiangshan wrote: > From: Lai Jiangshan <jiangshan.ljs@xxxxxxxxxxxx> > > Replace it with FNAME(sync_spte). > > FNAME(sync_spte) combined with the shadow pagetable walk meets the > semantics of the instruction INVLPG. Please call out the differences (I assume the two aren't perfectly identical), and explain why those differences are benign.
