Fix file headers

Fix typos in comments style of assembly files
Change IA32 CpuFlushTlb() for GCC to use AsmReadCr3() and AsmWriteCr3() instead of using inline assembly.


git-svn-id: https://edk2.svn.sourceforge.net/svnroot/edk2/trunk/edk2@9192 6f19259b-4bc3-4df7-8a09-765794883524

MdePkg/Library/BaseCpuLib/Ia32/CpuFlushTlbGcc.c

@@ -2,7 +2,7 @@
   CpuFlushTlb function for Ia32/X64 GCC.
 
   Copyright (c) 2006 - 2008, Intel Corporation<BR>
-  Portions copyright (c) 2008-2009 Apple Inc.<BR>
+  Portions copyright (c) 2008-2009 Apple Inc. All rights reserved.<BR>
   All rights reserved. This program and the accompanying materials
   are licensed and made available under the terms and conditions of the BSD License
   which accompanies this distribution.  The full text of the license may be found at
@@ -13,7 +13,7 @@
 
 **/
 
-
+#include <Library/BaseLib.h>
 
 /**
   Flushes all the Translation Lookaside Buffers(TLB) entries in a CPU.
@@ -27,10 +27,6 @@ CpuFlushTlb (
   VOID
   )
 {
-  __asm__ __volatile__ (
-    "movl %%cr3, %0\n\t"
-    "movl %0, %%cr3    "
-    : "r"  // %0
-    );
+  AsmWriteCr3 (AsmReadCr3 ());
 }