HomeFreeBSD

Handle TLB shootdown IPI during the EFI runtime calls, on SandyBridge

Description

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

Details

Provenance
kibAuthored on
Parents
rS306350: For machines which support PCID but not have INVPCID instruction,
Branches
Unknown
Tags
Unknown