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