K 10
svn:author
V 3
kib
K 8
svn:date
V 27
2016-09-26T17:25:25.677514Z
K 7
svn:log
V 169
Handle TLB shootdown IPI during the EFI runtime calls, on SandyBridge
and IvyBridge machines, which support PCID but do not have INVPCID
instruction.

MFC after:	1 week

END