On 26/07/2022 17:06, Jan Beulich wrote: > While "type" can include PGT_pae_xen_l2, "x" can't, as the bit is > cleared upon de-validation (see also the respective assertion earlier in > the function).
While this statement is true, it doesn't really explain why this is relevant (or not) to TLB flushing. As far as the change goes, it's safe on 64bit builds of Xen (I think), but would not be on 32bit builds when this logic was first written. ~Andrew
