# OUT IA32_DESCRIPTOR *Idtr\r
# );\r
#------------------------------------------------------------------------------\r
-.global _InternalX86WriteIdtr\r
-_InternalX86WriteIdtr:\r
+.globl ASM_PFX(InternalX86WriteIdtr)\r
+ASM_PFX(InternalX86WriteIdtr):\r
movl 4(%esp), %eax\r
lidt (%eax)\r
ret\r