# OUT IA32_DESCRIPTOR *Gdtr\r
# );\r
#------------------------------------------------------------------------------\r
-.globl _InternalX86WriteGdtr\r
-_InternalX86WriteGdtr:\r
+.globl ASM_PFX(InternalX86WriteGdtr)\r
+ASM_PFX(InternalX86WriteGdtr):\r
movl 4(%esp), %eax\r
lgdt (%eax)\r
ret\r