#
#------------------------------------------------------------------------------
-
+#include <EdkIIGlueBase.h>
#------------------------------------------------------------------------------
# VOID
# EFIAPI
# IN UINT64 Value
# );
#------------------------------------------------------------------------------
-.global _AsmWriteMm3;
-_AsmWriteMm3:
+.globl ASM_PFX(AsmWriteMm3)
+ASM_PFX(AsmWriteMm3):
movd %rcx, %mm3
ret