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