K 10 svn:author V 3 kib K 8 svn:date V 27 2016-10-03T09:41:33.539308Z K 7 svn:log V 178 MFC r306350: For machines which support PCID but not have INVPCID instruction, i.e. SandyBridge and IvyBridge, correct a race between pmap_activate() and invltlb_pcid_handler(). END