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