/* 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__ __volatile__ (
    "lgdt %0"
    :
    : "m" (*Gdtr)
  );
}