/* Writes the current IDTR descriptor and returns it in Idtr. This function is only available on IA-32 and x64. */
VOID EFIAPI InternalX86WriteIdtr(IN CONST IA32_DESCRIPTOR *Idtr)
/* Writes the current IDTR descriptor and returns it in Idtr. This function is only available on IA-32 and x64. */
VOID EFIAPI InternalX86WriteIdtr(IN CONST IA32_DESCRIPTOR *Idtr)
{
  _asm {
    mov     eax, Idtr
    pushfd
    cli
    lidt    fword ptr [eax]
    popfd
  }
}