-#******************************************************************************\r
-#*\r
-#* Copyright (c) 2007, Intel Corporation \r
-#* All rights reserved. This program and the accompanying materials \r
-#* are licensed and made available under the terms and conditions of the BSD License \r
-#* which accompanies this distribution. The full text of the license may be found at \r
-#* http://opensource.org/licenses/bsd-license.php \r
-#* \r
-#* THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS, \r
-#* WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED. \r
-#*\r
-#******************************************************************************\r
+#/**@file\r
+# Low leve x64 specific debug support functions.\r
+#\r
+# Copyright (c) 2006, Intel Corporation\r
+# All rights reserved. This program and the accompanying materials\r
+# are licensed and made available under the terms and conditions of the BSD License\r
+# which accompanies this distribution. The full text of the license may be found at\r
+# http://opensource.org/licenses/bsd-license.php\r
+#\r
+# THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,\r
+# WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.\r
+#\r
+#**/\r
\r
.globl _OrigVector\r
.globl _InterruptEntryStub\r
\r
.globl _FxStorSupport\r
_FxStorSupport:\r
- ret \r
+ ret\r
\r
.globl _GetIdtr\r
_GetIdtr:\r
- ret \r
+ ret\r
\r
.globl _WriteInterruptFlag\r
_WriteInterruptFlag:\r
- ret \r
+ ret\r
\r
.globl _Vect2Desc\r
_Vect2Desc:\r
- ret \r
+ ret\r
\r
.globl _InterruptEntryStub\r
_InterruptEntryStub:\r
- ret \r
+ ret\r
\r
.globl _InterruptEntryStubEnd\r
_InterruptEntryStubEnd:\r
- ret \r
+ ret\r
\r
.globl _CommonIdtEntry\r
_CommonIdtEntry:\r
- ret \r
+ ret\r
\r
PhonyIretd:\r
- iret \r
+ iret\r