#------------------------------------------------------------------------------
#
-# Copyright (c) 2006, Intel Corporation
-# All rights reserved. This program and the accompanying materials
+# Copyright (c) 2006, Intel Corporation. All rights reserved.<BR>
+# 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
# http://opensource.org/licenses/bsd-license.php
#
#------------------------------------------------------------------------------
-
+#include <EdkIIGlueBase.h>
#------------------------------------------------------------------------------
# UINTN
# EFIAPI
# IN UINTN Value
# );
#------------------------------------------------------------------------------
-.global _AsmWriteDr4;
-_AsmWriteDr4:
+.globl ASM_PFX(AsmWriteDr4)
+ASM_PFX(AsmWriteDr4):
mov %rcx, %dr4
mov %rcx, %rax
ret