On 06/12/2022 13:53, Jan Beulich wrote: > The original name didn't express the purpose of the flag: It is being > set once a page table page obtains a shadow, and it is removed when the > last shadow of a page was destroyed. > > In set_tlbflush_timestamp() also remove the 2nd half of the condition as > being redundant (PGC_shadowed_pt can't be set on a page without shadow > mode being enabled on the owning domain). > > Requested-by: Andrew Cooper <[email protected]> > Signed-off-by: Jan Beulich <[email protected]>
Reviewed-by: Andrew Cooper <[email protected]>
