Index: /trunk/include/iprt/mangling.h
===================================================================
--- /trunk/include/iprt/mangling.h	(revision 58746)
+++ /trunk/include/iprt/mangling.h	(revision 58747)
@@ -48,34 +48,285 @@
  * Stable functions (alphabetical order):
  */
-# define ASMAtomicCmpXchgExU64                          RT_MANGLER(ASMAtomicCmpXchgExU64)   /* not-some-systems... */
+/* ASM*:
+ grep -h DECLASM include/iprt/asm.h include/iprt/asm-amd64-x86.h \
+  | kmk_sed -e 's/^DECLASM.[^)]*. *\(ASM[^(]*\)[(].*$/# define \1 :RT_MANGLER(\1)\n# define \1_EndProc :RT_MANGLER(\1_EndProc)/' \
+  | sort \
+  | awk -F: '{ printf("%-55s %s\n", $1, $2);' */
+# define ASMAddFlags                                    RT_MANGLER(ASMAddFlags)
+# define ASMAddFlags_EndProc                            RT_MANGLER(ASMAddFlags_EndProc)
+# define ASMAtomicAddU16                                RT_MANGLER(ASMAtomicAddU16)
+# define ASMAtomicAddU16_EndProc                        RT_MANGLER(ASMAtomicAddU16_EndProc)
+# define ASMAtomicAddU32                                RT_MANGLER(ASMAtomicAddU32)
+# define ASMAtomicAddU32_EndProc                        RT_MANGLER(ASMAtomicAddU32_EndProc)
+# define ASMAtomicAddU64                                RT_MANGLER(ASMAtomicAddU64)
+# define ASMAtomicAddU64_EndProc                        RT_MANGLER(ASMAtomicAddU64_EndProc)
+# define ASMAtomicAndU32                                RT_MANGLER(ASMAtomicAndU32)
+# define ASMAtomicAndU32_EndProc                        RT_MANGLER(ASMAtomicAndU32_EndProc)
+# define ASMAtomicAndU64                                RT_MANGLER(ASMAtomicAndU64)
+# define ASMAtomicAndU64_EndProc                        RT_MANGLER(ASMAtomicAndU64_EndProc)
+# define ASMAtomicBitClear                              RT_MANGLER(ASMAtomicBitClear)
+# define ASMAtomicBitClear_EndProc                      RT_MANGLER(ASMAtomicBitClear_EndProc)
+# define ASMAtomicBitSet                                RT_MANGLER(ASMAtomicBitSet)
+# define ASMAtomicBitSet_EndProc                        RT_MANGLER(ASMAtomicBitSet_EndProc)
+# define ASMAtomicBitTestAndClear                       RT_MANGLER(ASMAtomicBitTestAndClear)
+# define ASMAtomicBitTestAndClear_EndProc               RT_MANGLER(ASMAtomicBitTestAndClear_EndProc)
+# define ASMAtomicBitTestAndSet                         RT_MANGLER(ASMAtomicBitTestAndSet)
+# define ASMAtomicBitTestAndSet_EndProc                 RT_MANGLER(ASMAtomicBitTestAndSet_EndProc)
+# define ASMAtomicBitTestAndToggle                      RT_MANGLER(ASMAtomicBitTestAndToggle)
+# define ASMAtomicBitTestAndToggle_EndProc              RT_MANGLER(ASMAtomicBitTestAndToggle_EndProc)
+# define ASMAtomicBitToggle                             RT_MANGLER(ASMAtomicBitToggle)
+# define ASMAtomicBitToggle_EndProc                     RT_MANGLER(ASMAtomicBitToggle_EndProc)
+# define ASMAtomicCmpXchgExU32                          RT_MANGLER(ASMAtomicCmpXchgExU32)
+# define ASMAtomicCmpXchgExU32_EndProc                  RT_MANGLER(ASMAtomicCmpXchgExU32_EndProc)
+# define ASMAtomicCmpXchgExU64                          RT_MANGLER(ASMAtomicCmpXchgExU64)
 # define ASMAtomicCmpXchgExU64_EndProc                  RT_MANGLER(ASMAtomicCmpXchgExU64_EndProc)
-# define ASMAtomicCmpXchgU64                            RT_MANGLER(ASMAtomicCmpXchgU64)     /* not-some-systems... */
+# define ASMAtomicCmpXchgU32                            RT_MANGLER(ASMAtomicCmpXchgU32)
+# define ASMAtomicCmpXchgU32_EndProc                    RT_MANGLER(ASMAtomicCmpXchgU32_EndProc)
+# define ASMAtomicCmpXchgU64                            RT_MANGLER(ASMAtomicCmpXchgU64)
 # define ASMAtomicCmpXchgU64_EndProc                    RT_MANGLER(ASMAtomicCmpXchgU64_EndProc)
-# define ASMAtomicReadU64                               RT_MANGLER(ASMAtomicReadU64)        /* not-some-systems... */
+# define ASMAtomicCmpXchgU8                             RT_MANGLER(ASMAtomicCmpXchgU8)
+# define ASMAtomicCmpXchgU8_EndProc                     RT_MANGLER(ASMAtomicCmpXchgU8_EndProc)
+# define ASMAtomicDecU16                                RT_MANGLER(ASMAtomicDecU16)
+# define ASMAtomicDecU16_EndProc                        RT_MANGLER(ASMAtomicDecU16_EndProc)
+# define ASMAtomicDecU32                                RT_MANGLER(ASMAtomicDecU32)
+# define ASMAtomicDecU32_EndProc                        RT_MANGLER(ASMAtomicDecU32_EndProc)
+# define ASMAtomicDecU64                                RT_MANGLER(ASMAtomicDecU64)
+# define ASMAtomicDecU64_EndProc                        RT_MANGLER(ASMAtomicDecU64_EndProc)
+# define ASMAtomicIncU16                                RT_MANGLER(ASMAtomicIncU16)
+# define ASMAtomicIncU16_EndProc                        RT_MANGLER(ASMAtomicIncU16_EndProc)
+# define ASMAtomicIncU32                                RT_MANGLER(ASMAtomicIncU32)
+# define ASMAtomicIncU32_EndProc                        RT_MANGLER(ASMAtomicIncU32_EndProc)
+# define ASMAtomicIncU64                                RT_MANGLER(ASMAtomicIncU64)
+# define ASMAtomicIncU64_EndProc                        RT_MANGLER(ASMAtomicIncU64_EndProc)
+# define ASMAtomicOrU32                                 RT_MANGLER(ASMAtomicOrU32)
+# define ASMAtomicOrU32_EndProc                         RT_MANGLER(ASMAtomicOrU32_EndProc)
+# define ASMAtomicOrU64                                 RT_MANGLER(ASMAtomicOrU64)
+# define ASMAtomicOrU64_EndProc                         RT_MANGLER(ASMAtomicOrU64_EndProc)
+# define ASMAtomicReadU64                               RT_MANGLER(ASMAtomicReadU64)
 # define ASMAtomicReadU64_EndProc                       RT_MANGLER(ASMAtomicReadU64_EndProc)
-# define ASMAtomicUoAndU32                              RT_MANGLER(ASMAtomicUoAndU32)       /* not-some-systems... */
+# define ASMAtomicUoAndU32                              RT_MANGLER(ASMAtomicUoAndU32)
 # define ASMAtomicUoAndU32_EndProc                      RT_MANGLER(ASMAtomicUoAndU32_EndProc)
-# define ASMAtomicUoAndU64                              RT_MANGLER(ASMAtomicUoAndU64)       /* not-some-systems... */
+# define ASMAtomicUoAndU64                              RT_MANGLER(ASMAtomicUoAndU64)
 # define ASMAtomicUoAndU64_EndProc                      RT_MANGLER(ASMAtomicUoAndU64_EndProc)
-# define ASMAtomicUoDecU32                              RT_MANGLER(ASMAtomicUoDecU32)       /* not-some-systems... */
+# define ASMAtomicUoDecU32                              RT_MANGLER(ASMAtomicUoDecU32)
 # define ASMAtomicUoDecU32_EndProc                      RT_MANGLER(ASMAtomicUoDecU32_EndProc)
-# define ASMAtomicUoIncU32                              RT_MANGLER(ASMAtomicUoIncU32)       /* not-some-systems... */
+# define ASMAtomicUoIncU32                              RT_MANGLER(ASMAtomicUoIncU32)
 # define ASMAtomicUoIncU32_EndProc                      RT_MANGLER(ASMAtomicUoIncU32_EndProc)
-# define ASMAtomicUoOrU32                               RT_MANGLER(ASMAtomicUoOrU32)        /* not-some-systems... */
+# define ASMAtomicUoOrU32                               RT_MANGLER(ASMAtomicUoOrU32)
 # define ASMAtomicUoOrU32_EndProc                       RT_MANGLER(ASMAtomicUoOrU32_EndProc)
-# define ASMAtomicUoOrU64                               RT_MANGLER(ASMAtomicUoOrU64)        /* not-some-systems... */
+# define ASMAtomicUoOrU64                               RT_MANGLER(ASMAtomicUoOrU64)
 # define ASMAtomicUoOrU64_EndProc                       RT_MANGLER(ASMAtomicUoOrU64_EndProc)
-# define ASMAtomicUoReadU64                             RT_MANGLER(ASMAtomicUoReadU64)      /* not-some-systems... */
+# define ASMAtomicUoReadU64                             RT_MANGLER(ASMAtomicUoReadU64)
 # define ASMAtomicUoReadU64_EndProc                     RT_MANGLER(ASMAtomicUoReadU64_EndProc)
-# define ASMAtomicXchgU64                               RT_MANGLER(ASMAtomicXchgU64)        /* not-some-systems... */
+# define ASMAtomicXchgU16                               RT_MANGLER(ASMAtomicXchgU16)
+# define ASMAtomicXchgU16_EndProc                       RT_MANGLER(ASMAtomicXchgU16_EndProc)
+# define ASMAtomicXchgU32                               RT_MANGLER(ASMAtomicXchgU32)
+# define ASMAtomicXchgU32_EndProc                       RT_MANGLER(ASMAtomicXchgU32_EndProc)
+# define ASMAtomicXchgU64                               RT_MANGLER(ASMAtomicXchgU64)
 # define ASMAtomicXchgU64_EndProc                       RT_MANGLER(ASMAtomicXchgU64_EndProc)
+# define ASMAtomicXchgU8                                RT_MANGLER(ASMAtomicXchgU8)
+# define ASMAtomicXchgU8_EndProc                        RT_MANGLER(ASMAtomicXchgU8_EndProc)
+# define ASMBitClear                                    RT_MANGLER(ASMBitClear)
+# define ASMBitClear_EndProc                            RT_MANGLER(ASMBitClear_EndProc)
+# define ASMBitFirstClear                               RT_MANGLER(ASMBitFirstClear)
+# define ASMBitFirstClear_EndProc                       RT_MANGLER(ASMBitFirstClear_EndProc)
+# define ASMBitFirstSet                                 RT_MANGLER(ASMBitFirstSet)
+# define ASMBitFirstSet_EndProc                         RT_MANGLER(ASMBitFirstSet_EndProc)
+# define ASMBitFirstSetU32                              RT_MANGLER(ASMBitFirstSetU32)
+# define ASMBitFirstSetU32_EndProc                      RT_MANGLER(ASMBitFirstSetU32_EndProc)
+# define ASMBitLastSetU32                               RT_MANGLER(ASMBitLastSetU32)
+# define ASMBitLastSetU32_EndProc                       RT_MANGLER(ASMBitLastSetU32_EndProc)
+# define ASMBitNextClear                                RT_MANGLER(ASMBitNextClear)
+# define ASMBitNextClear_EndProc                        RT_MANGLER(ASMBitNextClear_EndProc)
+# define ASMBitNextSet                                  RT_MANGLER(ASMBitNextSet)
+# define ASMBitNextSet_EndProc                          RT_MANGLER(ASMBitNextSet_EndProc)
+# define ASMBitSet                                      RT_MANGLER(ASMBitSet)
+# define ASMBitSet_EndProc                              RT_MANGLER(ASMBitSet_EndProc)
+# define ASMBitTest                                     RT_MANGLER(ASMBitTest)
+# define ASMBitTest_EndProc                             RT_MANGLER(ASMBitTest_EndProc)
+# define ASMBitTestAndClear                             RT_MANGLER(ASMBitTestAndClear)
+# define ASMBitTestAndClear_EndProc                     RT_MANGLER(ASMBitTestAndClear_EndProc)
+# define ASMBitTestAndSet                               RT_MANGLER(ASMBitTestAndSet)
+# define ASMBitTestAndSet_EndProc                       RT_MANGLER(ASMBitTestAndSet_EndProc)
+# define ASMBitTestAndToggle                            RT_MANGLER(ASMBitTestAndToggle)
+# define ASMBitTestAndToggle_EndProc                    RT_MANGLER(ASMBitTestAndToggle_EndProc)
+# define ASMBitToggle                                   RT_MANGLER(ASMBitToggle)
+# define ASMBitToggle_EndProc                           RT_MANGLER(ASMBitToggle_EndProc)
+# define ASMByteSwapU16                                 RT_MANGLER(ASMByteSwapU16)
+# define ASMByteSwapU16_EndProc                         RT_MANGLER(ASMByteSwapU16_EndProc)
+# define ASMByteSwapU32                                 RT_MANGLER(ASMByteSwapU32)
+# define ASMByteSwapU32_EndProc                         RT_MANGLER(ASMByteSwapU32_EndProc)
+# define ASMChangeFlags                                 RT_MANGLER(ASMChangeFlags)
+# define ASMChangeFlags_EndProc                         RT_MANGLER(ASMChangeFlags_EndProc)
+# define ASMClearFlags                                  RT_MANGLER(ASMClearFlags)
+# define ASMClearFlags_EndProc                          RT_MANGLER(ASMClearFlags_EndProc)
+# define ASMCpuId                                       RT_MANGLER(ASMCpuId)
+# define ASMCpuId_EAX                                   RT_MANGLER(ASMCpuId_EAX)
+# define ASMCpuId_EAX_EndProc                           RT_MANGLER(ASMCpuId_EAX_EndProc)
+# define ASMCpuId_EBX                                   RT_MANGLER(ASMCpuId_EBX)
+# define ASMCpuId_EBX_EndProc                           RT_MANGLER(ASMCpuId_EBX_EndProc)
+# define ASMCpuId_ECX                                   RT_MANGLER(ASMCpuId_ECX)
+# define ASMCpuId_ECX_EDX                               RT_MANGLER(ASMCpuId_ECX_EDX)
+# define ASMCpuId_ECX_EDX_EndProc                       RT_MANGLER(ASMCpuId_ECX_EDX_EndProc)
+# define ASMCpuId_ECX_EndProc                           RT_MANGLER(ASMCpuId_ECX_EndProc)
+# define ASMCpuId_EDX                                   RT_MANGLER(ASMCpuId_EDX)
+# define ASMCpuId_EDX_EndProc                           RT_MANGLER(ASMCpuId_EDX_EndProc)
+# define ASMCpuId_EndProc                               RT_MANGLER(ASMCpuId_EndProc)
+# define ASMCpuId_Idx_ECX                               RT_MANGLER(ASMCpuId_Idx_ECX)
+# define ASMCpuId_Idx_ECX_EndProc                       RT_MANGLER(ASMCpuId_Idx_ECX_EndProc)
 # define ASMCpuIdExSlow                                 RT_MANGLER(ASMCpuIdExSlow)
 # define ASMCpuIdExSlow_EndProc                         RT_MANGLER(ASMCpuIdExSlow_EndProc)
+# define ASMGetAndClearDR6                              RT_MANGLER(ASMGetAndClearDR6)
+# define ASMGetAndClearDR6_EndProc                      RT_MANGLER(ASMGetAndClearDR6_EndProc)
+# define ASMGetApicId                                   RT_MANGLER(ASMGetApicId)
+# define ASMGetApicId_EndProc                           RT_MANGLER(ASMGetApicId_EndProc)
+# define ASMGetCR0                                      RT_MANGLER(ASMGetCR0)
+# define ASMGetCR0_EndProc                              RT_MANGLER(ASMGetCR0_EndProc)
+# define ASMGetCR2                                      RT_MANGLER(ASMGetCR2)
+# define ASMGetCR2_EndProc                              RT_MANGLER(ASMGetCR2_EndProc)
+# define ASMGetCR3                                      RT_MANGLER(ASMGetCR3)
+# define ASMGetCR3_EndProc                              RT_MANGLER(ASMGetCR3_EndProc)
+# define ASMGetCR4                                      RT_MANGLER(ASMGetCR4)
+# define ASMGetCR4_EndProc                              RT_MANGLER(ASMGetCR4_EndProc)
+# define ASMGetCR8                                      RT_MANGLER(ASMGetCR8)
+# define ASMGetCR8_EndProc                              RT_MANGLER(ASMGetCR8_EndProc)
+# define ASMGetCS                                       RT_MANGLER(ASMGetCS)
+# define ASMGetCS_EndProc                               RT_MANGLER(ASMGetCS_EndProc)
+# define ASMGetDR0                                      RT_MANGLER(ASMGetDR0)
+# define ASMGetDR0_EndProc                              RT_MANGLER(ASMGetDR0_EndProc)
+# define ASMGetDR1                                      RT_MANGLER(ASMGetDR1)
+# define ASMGetDR1_EndProc                              RT_MANGLER(ASMGetDR1_EndProc)
+# define ASMGetDR2                                      RT_MANGLER(ASMGetDR2)
+# define ASMGetDR2_EndProc                              RT_MANGLER(ASMGetDR2_EndProc)
+# define ASMGetDR3                                      RT_MANGLER(ASMGetDR3)
+# define ASMGetDR3_EndProc                              RT_MANGLER(ASMGetDR3_EndProc)
+# define ASMGetDR6                                      RT_MANGLER(ASMGetDR6)
+# define ASMGetDR6_EndProc                              RT_MANGLER(ASMGetDR6_EndProc)
+# define ASMGetDR7                                      RT_MANGLER(ASMGetDR7)
+# define ASMGetDR7_EndProc                              RT_MANGLER(ASMGetDR7_EndProc)
+# define ASMGetDS                                       RT_MANGLER(ASMGetDS)
+# define ASMGetDS_EndProc                               RT_MANGLER(ASMGetDS_EndProc)
+# define ASMGetES                                       RT_MANGLER(ASMGetES)
+# define ASMGetES_EndProc                               RT_MANGLER(ASMGetES_EndProc)
+# define ASMGetFlags                                    RT_MANGLER(ASMGetFlags)
+# define ASMGetFlags_EndProc                            RT_MANGLER(ASMGetFlags_EndProc)
+# define ASMGetFS                                       RT_MANGLER(ASMGetFS)
+# define ASMGetFS_EndProc                               RT_MANGLER(ASMGetFS_EndProc)
+# define ASMGetGDTR                                     RT_MANGLER(ASMGetGDTR)
+# define ASMGetGDTR_EndProc                             RT_MANGLER(ASMGetGDTR_EndProc)
+# define ASMGetGS                                       RT_MANGLER(ASMGetGS)
+# define ASMGetGS_EndProc                               RT_MANGLER(ASMGetGS_EndProc)
+# define ASMGetIDTR                                     RT_MANGLER(ASMGetIDTR)
+# define ASMGetIDTR_EndProc                             RT_MANGLER(ASMGetIDTR_EndProc)
+# define ASMGetIdtrLimit                                RT_MANGLER(ASMGetIdtrLimit)
+# define ASMGetIdtrLimit_EndProc                        RT_MANGLER(ASMGetIdtrLimit_EndProc)
+# define ASMGetLDTR                                     RT_MANGLER(ASMGetLDTR)
+# define ASMGetLDTR_EndProc                             RT_MANGLER(ASMGetLDTR_EndProc)
+# define ASMGetSegAttr                                  RT_MANGLER(ASMGetSegAttr)
+# define ASMGetSegAttr_EndProc                          RT_MANGLER(ASMGetSegAttr_EndProc)
+# define ASMGetSS                                       RT_MANGLER(ASMGetSS)
+# define ASMGetSS_EndProc                               RT_MANGLER(ASMGetSS_EndProc)
+# define ASMGetTR                                       RT_MANGLER(ASMGetTR)
+# define ASMGetTR_EndProc                               RT_MANGLER(ASMGetTR_EndProc)
 # define ASMGetXcr0                                     RT_MANGLER(ASMGetXcr0)
 # define ASMGetXcr0_EndProc                             RT_MANGLER(ASMGetXcr0_EndProc)
+# define ASMHalt                                        RT_MANGLER(ASMHalt)
+# define ASMHalt_EndProc                                RT_MANGLER(ASMHalt_EndProc)
+# define ASMInStrU16                                    RT_MANGLER(ASMInStrU16)
+# define ASMInStrU16_EndProc                            RT_MANGLER(ASMInStrU16_EndProc)
+# define ASMInStrU32                                    RT_MANGLER(ASMInStrU32)
+# define ASMInStrU32_EndProc                            RT_MANGLER(ASMInStrU32_EndProc)
+# define ASMInStrU8                                     RT_MANGLER(ASMInStrU8)
+# define ASMInStrU8_EndProc                             RT_MANGLER(ASMInStrU8_EndProc)
+# define ASMIntDisable                                  RT_MANGLER(ASMIntDisable)
+# define ASMIntDisable_EndProc                          RT_MANGLER(ASMIntDisable_EndProc)
+# define ASMIntDisableFlags                             RT_MANGLER(ASMIntDisableFlags)
+# define ASMIntDisableFlags_EndProc                     RT_MANGLER(ASMIntDisableFlags_EndProc)
+# define ASMIntEnable                                   RT_MANGLER(ASMIntEnable)
+# define ASMIntEnable_EndProc                           RT_MANGLER(ASMIntEnable_EndProc)
+# define ASMInU16                                       RT_MANGLER(ASMInU16)
+# define ASMInU16_EndProc                               RT_MANGLER(ASMInU16_EndProc)
+# define ASMInU32                                       RT_MANGLER(ASMInU32)
+# define ASMInU32_EndProc                               RT_MANGLER(ASMInU32_EndProc)
+# define ASMInU8                                        RT_MANGLER(ASMInU8)
+# define ASMInU8_EndProc                                RT_MANGLER(ASMInU8_EndProc)
+# define ASMInvalidateInternalCaches                    RT_MANGLER(ASMInvalidateInternalCaches)
+# define ASMInvalidateInternalCaches_EndProc            RT_MANGLER(ASMInvalidateInternalCaches_EndProc)
+# define ASMInvalidatePage                              RT_MANGLER(ASMInvalidatePage)
+# define ASMInvalidatePage_EndProc                      RT_MANGLER(ASMInvalidatePage_EndProc)
+# define ASMMemFill32                                   RT_MANGLER(ASMMemFill32)
+# define ASMMemFill32_EndProc                           RT_MANGLER(ASMMemFill32_EndProc)
+# define ASMMemZero32                                   RT_MANGLER(ASMMemZero32)
+# define ASMMemZero32_EndProc                           RT_MANGLER(ASMMemZero32_EndProc)
+# define ASMMemZeroPage                                 RT_MANGLER(ASMMemZeroPage)
+# define ASMMemZeroPage_EndProc                         RT_MANGLER(ASMMemZeroPage_EndProc)
+# define ASMNopPause                                    RT_MANGLER(ASMNopPause)
+# define ASMNopPause_EndProc                            RT_MANGLER(ASMNopPause_EndProc)
+# define ASMOutStrU16                                   RT_MANGLER(ASMOutStrU16)
+# define ASMOutStrU16_EndProc                           RT_MANGLER(ASMOutStrU16_EndProc)
+# define ASMOutStrU32                                   RT_MANGLER(ASMOutStrU32)
+# define ASMOutStrU32_EndProc                           RT_MANGLER(ASMOutStrU32_EndProc)
+# define ASMOutStrU8                                    RT_MANGLER(ASMOutStrU8)
+# define ASMOutStrU8_EndProc                            RT_MANGLER(ASMOutStrU8_EndProc)
+# define ASMOutU16                                      RT_MANGLER(ASMOutU16)
+# define ASMOutU16_EndProc                              RT_MANGLER(ASMOutU16_EndProc)
+# define ASMOutU32                                      RT_MANGLER(ASMOutU32)
+# define ASMOutU32_EndProc                              RT_MANGLER(ASMOutU32_EndProc)
+# define ASMOutU8                                       RT_MANGLER(ASMOutU8)
+# define ASMOutU8_EndProc                               RT_MANGLER(ASMOutU8_EndProc)
+# define ASMProbeReadByte                               RT_MANGLER(ASMProbeReadByte)
+# define ASMProbeReadByte_EndProc                       RT_MANGLER(ASMProbeReadByte_EndProc)
+# define ASMRdMsr                                       RT_MANGLER(ASMRdMsr)
+# define ASMRdMsr_EndProc                               RT_MANGLER(ASMRdMsr_EndProc)
+# define ASMRdMsr_High                                  RT_MANGLER(ASMRdMsr_High)
+# define ASMRdMsr_High_EndProc                          RT_MANGLER(ASMRdMsr_High_EndProc)
+# define ASMRdMsr_Low                                   RT_MANGLER(ASMRdMsr_Low)
+# define ASMRdMsr_Low_EndProc                           RT_MANGLER(ASMRdMsr_Low_EndProc)
 # define ASMRdMsrEx                                     RT_MANGLER(ASMRdMsrEx)
 # define ASMRdMsrEx_EndProc                             RT_MANGLER(ASMRdMsrEx_EndProc)
+# define ASMReadTSC                                     RT_MANGLER(ASMReadTSC)
+# define ASMReadTSC_EndProc                             RT_MANGLER(ASMReadTSC_EndProc)
+# define ASMReadTscWithAux                              RT_MANGLER(ASMReadTscWithAux)
+# define ASMReadTscWithAux_EndProc                      RT_MANGLER(ASMReadTscWithAux_EndProc)
+# define ASMReloadCR3                                   RT_MANGLER(ASMReloadCR3)
+# define ASMReloadCR3_EndProc                           RT_MANGLER(ASMReloadCR3_EndProc)
+# define ASMRotateLeftU32                               RT_MANGLER(ASMRotateLeftU32)
+# define ASMRotateLeftU32_EndProc                       RT_MANGLER(ASMRotateLeftU32_EndProc)
+# define ASMRotateRightU32                              RT_MANGLER(ASMRotateRightU32)
+# define ASMRotateRightU32_EndProc                      RT_MANGLER(ASMRotateRightU32_EndProc)
+# define ASMSerializeInstruction                        RT_MANGLER(ASMSerializeInstruction)
+# define ASMSerializeInstruction_EndProc                RT_MANGLER(ASMSerializeInstruction_EndProc)
+# define ASMSetCR0                                      RT_MANGLER(ASMSetCR0)
+# define ASMSetCR0_EndProc                              RT_MANGLER(ASMSetCR0_EndProc)
+# define ASMSetCR2                                      RT_MANGLER(ASMSetCR2)
+# define ASMSetCR2_EndProc                              RT_MANGLER(ASMSetCR2_EndProc)
+# define ASMSetCR3                                      RT_MANGLER(ASMSetCR3)
+# define ASMSetCR3_EndProc                              RT_MANGLER(ASMSetCR3_EndProc)
+# define ASMSetCR4                                      RT_MANGLER(ASMSetCR4)
+# define ASMSetCR4_EndProc                              RT_MANGLER(ASMSetCR4_EndProc)
+# define ASMSetDR0                                      RT_MANGLER(ASMSetDR0)
+# define ASMSetDR0_EndProc                              RT_MANGLER(ASMSetDR0_EndProc)
+# define ASMSetDR1                                      RT_MANGLER(ASMSetDR1)
+# define ASMSetDR1_EndProc                              RT_MANGLER(ASMSetDR1_EndProc)
+# define ASMSetDR2                                      RT_MANGLER(ASMSetDR2)
+# define ASMSetDR2_EndProc                              RT_MANGLER(ASMSetDR2_EndProc)
+# define ASMSetDR3                                      RT_MANGLER(ASMSetDR3)
+# define ASMSetDR3_EndProc                              RT_MANGLER(ASMSetDR3_EndProc)
+# define ASMSetDR6                                      RT_MANGLER(ASMSetDR6)
+# define ASMSetDR6_EndProc                              RT_MANGLER(ASMSetDR6_EndProc)
+# define ASMSetDR7                                      RT_MANGLER(ASMSetDR7)
+# define ASMSetDR7_EndProc                              RT_MANGLER(ASMSetDR7_EndProc)
+# define ASMSetFlags                                    RT_MANGLER(ASMSetFlags)
+# define ASMSetFlags_EndProc                            RT_MANGLER(ASMSetFlags_EndProc)
+# define ASMSetGDTR                                     RT_MANGLER(ASMSetGDTR)
+# define ASMSetGDTR_EndProc                             RT_MANGLER(ASMSetGDTR_EndProc)
+# define ASMSetIDTR                                     RT_MANGLER(ASMSetIDTR)
+# define ASMSetIDTR_EndProc                             RT_MANGLER(ASMSetIDTR_EndProc)
 # define ASMSetXcr0                                     RT_MANGLER(ASMSetXcr0)
 # define ASMSetXcr0_EndProc                             RT_MANGLER(ASMSetXcr0_EndProc)
+# define ASMWriteBackAndInvalidateCaches                RT_MANGLER(ASMWriteBackAndInvalidateCaches)
+# define ASMWriteBackAndInvalidateCaches_EndProc        RT_MANGLER(ASMWriteBackAndInvalidateCaches_EndProc)
+# define ASMWrMsr                                       RT_MANGLER(ASMWrMsr)
+# define ASMWrMsr_EndProc                               RT_MANGLER(ASMWrMsr_EndProc)
 # define ASMWrMsrEx                                     RT_MANGLER(ASMWrMsrEx)
 # define ASMWrMsrEx_EndProc                             RT_MANGLER(ASMWrMsrEx_EndProc)
@@ -84,4 +335,5 @@
 # define ASMXSave                                       RT_MANGLER(ASMXSave)
 # define ASMXSave_EndProc                               RT_MANGLER(ASMXSave_EndProc)
+
 # define RTAssertAreQuiet                               RT_MANGLER(RTAssertAreQuiet)
 # define RTAssertMayPanic                               RT_MANGLER(RTAssertMayPanic)
