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