/* Reads and returns the current GDTR descriptor and returns it in Gdtr. This function is only available on IA-32 and X64. */
VOID EFIAPI InternalX86ReadGdtr(OUT IA32_DESCRIPTOR *Gdtr)
/* Reads and returns the current GDTR descriptor and returns it in Gdtr. This function is only available on IA-32 and X64. */
VOID EFIAPI InternalX86ReadGdtr(OUT IA32_DESCRIPTOR *Gdtr)
{
  __asm__ __volatile__ (
    "sgdt %0"
    : "=m" (*Gdtr)
  );
}