|  | 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 | 
|  |  |