/* Writes and the current GDTR descriptor specified by Gdtr. This function is only available on IA-32 and x64. */
VOID EFIAPI InternalX86WriteGdtr(IN CONST IA32_DESCRIPTOR *Gdtr)
/* Writes and the current GDTR descriptor specified by Gdtr. This function is only available on IA-32 and x64. */
VOID EFIAPI InternalX86WriteGdtr(IN CONST IA32_DESCRIPTOR *Gdtr)
{
  _asm {
    mov     eax, Gdtr
    lgdt    fword ptr [eax]
  }
}