# Notes:
#
#------------------------------------------------------------------------------
+#include <EdkIIGlueBase.h>
#------------------------------------------------------------------------------
# UINT32
# OUT UINT32 *RegisterOutEdx OPTIONAL
# )
#------------------------------------------------------------------------------
-.global _AsmCpuidEx
-_AsmCpuidEx:
+.globl ASM_PFX(AsmCpuidEx)
+ASM_PFX(AsmCpuidEx):
push %rbx
movl %ecx,%eax
movl %edx,%ecx