| divert(`-1') |
| INTRIN(`void', `_disable') |
| INTRIN(`__INTRIN_INT64', `__emul', ((`int', `a'), (`int', `b'))) |
| INTRIN(`__INTRIN_UINT64', `__emulu', ((`unsigned int', `a'), (`unsigned int', `b'))) |
| INTRIN(`void', `_enable') |
| INTRIN(`__INTRIN_LONG', `_InterlockedDecrement', ((`__INTRIN_LONG volatile *', `lpAddend'))) |
| INTRIN(`__INTRIN_LONG', `_InterlockedExchange', ((`__INTRIN_LONG volatile *', `Target'), (`__INTRIN_LONG', `Value'))) |
| INTRIN(`__INTRIN_LONG', `_InterlockedExchangeAdd', ((`__INTRIN_LONG volatile *', `Addend'), (`__INTRIN_LONG', `Value'))) |
| INTRIN(`__INTRIN_LONG', `_InterlockedCompareExchange', ((`__INTRIN_LONG volatile *', `Destination'), (`__INTRIN_LONG', `Exchange'), (`__INTRIN_LONG', `Comperand'))) |
| INTRIN(`__INTRIN_INT64', `_InterlockedCompareExchange64', ((`__INTRIN_INT64 volatile *', `Destination'), (`__INTRIN_INT64', `Exchange'), (`__INTRIN_INT64', `Comperand'))) |
| INTRIN(`__INTRIN_LONG', `_InterlockedIncrement', ((`__INTRIN_LONG volatile *', `lpAddend'))) |
| INTRIN(`int', `_inp', ((`unsigned short', `port'))) |
| INTRIN(`int', `inp', ((`unsigned short', `port'))) |
| INTRIN(`__INTRIN_ULONG', `_inpd', ((`unsigned short', `port'))) |
| INTRIN(`__INTRIN_ULONG', `inpd', ((`unsigned short', `port'))) |
| INTRIN(`unsigned short', `_inpw', ((`unsigned short', `port'))) |
| INTRIN(`unsigned short', `inpw', ((`unsigned short', `port'))) |
| INTRIN(`__INTRIN_UINT64', `__ll_lshift', ((`__INTRIN_UINT64', `Mask'), (`int', `nBit'))) |
| INTRIN(`__INTRIN_INT64', `__ll_rshift', ((`__INTRIN_INT64', `Mask'), (`int', `nBit'))) |
| INTRIN(`int', `_outp', ((`unsigned short', `port'), (`int', `databyte'))) |
| INTRIN(`int', `outp', ((`unsigned short', `port'), (`int', `databyte'))) |
| INTRIN(`__INTRIN_ULONG', `_outpd', ((`unsigned short', `port'), (`__INTRIN_ULONG', `dataword'))) |
| INTRIN(`__INTRIN_ULONG', `outpd', ((`unsigned short', `port'), (`__INTRIN_ULONG', `dataword'))) |
| INTRIN(`unsigned short', `_outpw', ((`unsigned short', `port'), (`unsigned short', `dataword'))) |
| INTRIN(`unsigned short', `outpw', ((`unsigned short', `port'), (`unsigned short', `dataword'))) |
| INTRIN(`void *', `_ReturnAddress') |
| INTRIN(`__INTRIN_UINT64', `__ull_rshift', ((`__INTRIN_UINT64', `Mask'), (`int', `nBit'))) |
| INTRIN(`void *', `_AddressOfReturnAddress') |
| INTRIN(`void', `_WriteBarrier') |
| INTRIN(`void', `_ReadWriteBarrier') |
| INTRIN(`void', `__wbinvd') |
| INTRIN(`void', `__invlpg', ((`void *', `Address'))) |
| INTRIN(`__INTRIN_UINT64', `__readmsr', ((`__INTRIN_ULONG', `Register'))) |
| INTRIN(`void', `__writemsr', ((`__INTRIN_ULONG', `Register'), (`__INTRIN_UINT64', `Value'))) |
| INTRIN(`__INTRIN_UINT64', `__rdtsc') |
| INTRIN(`void', `__movsb', ((`unsigned char *', `Destination'), (`unsigned char const *', `Source'), (`size_t', `Count'))) |
| INTRIN(`void', `__movsw', ((`unsigned short *', `Destination'), (`unsigned short const *', `Source'), (`size_t', `Count'))) |
| INTRIN(`void', `__movsd', ((`__INTRIN_ULONG *', `Destination'), (`__INTRIN_ULONG const *', `Source'), (`size_t', `Count'))) |
| INTRIN(`unsigned char', `__inbyte', ((`unsigned short', `Port'))) |
| INTRIN(`unsigned short', `__inword', ((`unsigned short', `Port'))) |
| INTRIN(`__INTRIN_ULONG', `__indword', ((`unsigned short', `Port'))) |
| INTRIN(`void', `__outbyte', ((`unsigned short', `Port'), (`unsigned char', `Data'))) |
| INTRIN(`void', `__outword', ((`unsigned short', `Port'), (`unsigned short', `Data'))) |
| INTRIN(`void', `__outdword', ((`unsigned short', `Port'), (`__INTRIN_ULONG', `Data'))) |
| INTRIN(`void', `__inbytestring', ((`unsigned short', `Port'), (`unsigned char *', `Buffer'), (`__INTRIN_ULONG', `Count'))) |
| INTRIN(`void', `__inwordstring', ((`unsigned short', `Port'), (`unsigned short *', `Buffer'), (`__INTRIN_ULONG', `Count'))) |
| INTRIN(`void', `__indwordstring', ((`unsigned short', `Port'), (`__INTRIN_ULONG *', `Buffer'), (`__INTRIN_ULONG', `Count'))) |
| INTRIN(`void', `__outbytestring', ((`unsigned short', `Port'), (`unsigned char *', `Buffer'), (`__INTRIN_ULONG', `Count'))) |
| INTRIN(`void', `__outwordstring', ((`unsigned short', `Port'), (`unsigned short *', `Buffer'), (`__INTRIN_ULONG', `Count'))) |
| INTRIN(`void', `__outdwordstring', ((`unsigned short', `Port'), (`__INTRIN_ULONG *', `Buffer'), (`__INTRIN_ULONG', `Count'))) |
| INTRIN(`unsigned int', `__getcallerseflags') |
| INTRIN(`void', `__vmx_vmptrst', ((`__INTRIN_UINT64 *', `VmcsPhysicalAddress'))) |
| INTRIN(`void', `__vmx_off') |
| INTRIN(`void', `__svm_clgi') |
| INTRIN(`void', `__svm_invlpga', ((`void *', `Va'), (`int', `ASID'))) |
| INTRIN(`void', `__svm_skinit', ((`int', `SLB'))) |
| INTRIN(`void', `__svm_stgi') |
| INTRIN(`void', `__svm_vmload', ((`size_t', `VmcbPhysicalAddress'))) |
| INTRIN(`void', `__svm_vmrun', ((`size_t', `VmcbPhysicalAddress'))) |
| INTRIN(`void', `__svm_vmsave', ((`size_t', `VmcbPhysicalAddress'))) |
| INTRIN(`void', `__halt') |
| INTRIN(`void', `__sidt', ((`void *', `Destination'))) |
| INTRIN(`void', `__lidt', ((`void *', `Source'))) |
| INTRIN(`void', `__ud2') |
| INTRIN(`void', `__nop') |
| INTRIN(`void', `__stosb', ((`unsigned char *', `Dest'), (`unsigned char', `Data'), (`size_t', `Count'))) |
| INTRIN(`void', `__stosw', ((`unsigned short *', `Dest'), (` unsigned short', `Data'), (`size_t', `Count'))) |
| INTRIN(`void', `__stosd', ((`__INTRIN_ULONG *', `Dest'), (` __INTRIN_ULONG', `Data'), (`size_t', `Count'))) |
| INTRIN(`unsigned char', `_interlockedbittestandset', ((`__INTRIN_LONG volatile *', `a'), (`__INTRIN_LONG', `b'))) |
| INTRIN(`unsigned char', `_interlockedbittestandreset', ((`__INTRIN_LONG volatile *', `a'), (`__INTRIN_LONG', `b'))) |
| INTRIN(`void', `__cpuid', ((`int', `a', `[4]'), (`int', `b'))) |
| INTRIN(`void', `__cpuidex', ((`int', `a', `[4]'), (`int', `b'), (`int', `c'))) |
| INTRIN(`__INTRIN_UINT64', `__readpmc', ((`__INTRIN_ULONG', `a'))) |
| INTRIN(`__INTRIN_ULONG', `__segmentlimit', ((`__INTRIN_ULONG', `a'))) |
| INTRIN(`void', `__int2c') |
| INTRIN(`unsigned short', `__lzcnt16', ((`unsigned short', `value'))) |
| INTRIN(`unsigned int', `__lzcnt', ((`unsigned int', `value'))) |
| INTRIN(`unsigned short', `__popcnt16', ((`unsigned short', `value'))) |
| INTRIN(`unsigned int', `__popcnt', ((`unsigned int', `value'))) |
| INTRIN(`__m128i', `_mm_extract_si64', ((`__m128i', `Source'), (`__m128i', `Descriptor'))) |
| INTRIN(`__m128i', `_mm_extracti_si64', ((`__m128i', `Source'), (`int', `Length'), (`int', `Index'))) |
| INTRIN(`__m128i', `_mm_insert_si64', ((`__m128i', `Source1'), (`__m128i', `Source2'))) |
| INTRIN(`__m128i', `_mm_inserti_si64', ((`__m128i', `Source1'), (`__m128i', `Source2'), (`int', `Length'), (`int', `Index'))) |
| INTRIN(`void', `_mm_stream_sd', ((`double *', `Dest'), (`__m128d', `Source'))) |
| INTRIN(`void', `_mm_stream_ss', ((`float *', `Dest'), (`__m128', `Source'))) |
| INTRIN(`__INTRIN_UINT64', `__rdtscp', ((`unsigned int *', `Aux'))) |
| |
| INTRIN_CDECL(`_disable') |
| INTRIN_CDECL(`_enable') |
| INTRIN_CDECL(`_InterlockedDecrement') |
| INTRIN_CDECL(`_InterlockedIncrement') |
| INTRIN_CDECL(`_inp') |
| INTRIN_CDECL(`inp') |
| INTRIN_CDECL(`_inpd') |
| INTRIN_CDECL(`inpd') |
| INTRIN_CDECL(`_inpw') |
| INTRIN_CDECL(`inpw') |
| INTRIN_CDECL(`_outp') |
| INTRIN_CDECL(`outp') |
| INTRIN_CDECL(`_outpd') |
| INTRIN_CDECL(`outpd') |
| INTRIN_CDECL(`_outpw') |
| INTRIN_CDECL(`outpw') |
| |
| INTRIN_DISCARDABLE(`__readmsr') |
| INTRIN_DISCARDABLE(`__rdtsc') |
| INTRIN_DISCARDABLE(`__readpmc') |
| INTRIN_DISCARDABLE(`_mm_extract_si64') |
| INTRIN_DISCARDABLE(`_mm_extracti_si64') |
| INTRIN_DISCARDABLE(`_mm_insert_si64') |
| INTRIN_DISCARDABLE(`_mm_inserti_si64') |
| |
| INTRIN_CONST(`__emul') |
| INTRIN_CONST(`__emulu') |
| INTRIN_CONST(`__ll_lshift') |
| INTRIN_CONST(`__ll_rshift') |
| INTRIN_CONST(`_ReturnAddress') |
| INTRIN_CONST(`__ull_rshift') |
| INTRIN_CONST(`_AddressOfReturnAddress') |
| INTRIN_CONST(`__getcallerseflags') |
| INTRIN_CONST(`__lzcnt16') |
| INTRIN_CONST(`__lzcnt') |
| INTRIN_CONST(`__popcnt16') |
| INTRIN_CONST(`__popcnt') |
| |
| divert`'dnl |
| |