Index: /trunk/include/iprt/mangling.h
===================================================================
--- /trunk/include/iprt/mangling.h	(revision 55107)
+++ /trunk/include/iprt/mangling.h	(revision 55108)
@@ -72,6 +72,10 @@
 # define ASMCpuIdExSlow                                 RT_MANGLER(ASMCpuIdExSlow)
 # define ASMCpuIdExSlow_EndProc                         RT_MANGLER(ASMCpuIdExSlow_EndProc)
+# define ASMGetXcr0                                     RT_MANGLER(ASMGetXcr0)
+# define ASMGetXcr0_EndProc                             RT_MANGLER(ASMGetXcr0_EndProc)
 # define ASMRdMsrEx                                     RT_MANGLER(ASMRdMsrEx)
 # define ASMRdMsrEx_EndProc                             RT_MANGLER(ASMRdMsrEx_EndProc)
+# define ASMSetXcr0                                     RT_MANGLER(ASMSetXcr0)
+# define ASMSetXcr0_EndProc                             RT_MANGLER(ASMSetXcr0_EndProc)
 # define ASMWrMsrEx                                     RT_MANGLER(ASMWrMsrEx)
 # define ASMWrMsrEx_EndProc                             RT_MANGLER(ASMWrMsrEx_EndProc)