/* Reads and returns the current value of ES. This function is only available on IA-32 and x64. */
UINT16 EFIAPI AsmReadEs(VOID)
/* Reads and returns the current value of ES. This function is only available on IA-32 and x64. */
UINT16 EFIAPI AsmReadEs(VOID)
{
  __asm {
    xor     eax, eax
    mov     ax, es
  }
}