/* Executes a INVD instruction. This function is only available on IA-32 and X64.  */
VOID EFIAPI AsmInvd(VOID)
/* Executes a INVD instruction. This function is only available on IA-32 and X64.  */
VOID EFIAPI AsmInvd(VOID)
{
  __asm__ __volatile__ ("invd":::"memory");
}