On Thu, 13 Feb 2025 at 17:20, Rik van Riel <riel@xxxxxxxxxxx> wrote: > > Add support for broadcast TLB invalidation using AMD's INVLPGB instruction. Oh - what if the user sets nopcid. We need to disable invlpgb in that case right? (I assume it could be made to work, but doesn't seem like a case worth optimising).