/* Flushed the cache line specified by LinearAddress, and returns LinearAddress. This function is only available on IA-32 and X64. */
VOID* EFIAPI AsmFlushCacheLine(IN VOID *LinearAddress)
/* Flushed the cache line specified by LinearAddress, and returns LinearAddress. This function is only available on IA-32 and X64. */
VOID* EFIAPI AsmFlushCacheLine(IN VOID *LinearAddress)
{
  __asm__ __volatile__ (
    "clflush (%0)"
    :
    : "r" (LinearAddress)
    : "memory"
  );
  return LinearAddress;
}