On 06/20/2018 12:56 PM, Rik van Riel wrote: > This patch deals with that issue by introducing a third TLB state, > TLBSTATE_FLUSH, which causes %CR3 to be reloaded at the next context > switch.
With PCIDs, do we need to be a bit more explicit about what kind of %CR3 reload we have? Because, with PCIDs, we do have non-TLB-flushing %CR3 writes.
