I'm currently writing another blog post about the TLB, and came across a Intel instruction for invalidating specific TLB entries based upon the current PCID (Process Context Identifier) if the bit was enabled in the CR4 register. I've read that...