contrib/llvm/tools/clang/lib/Headers/Intrin.h

   1 /* ===-------- Intrin.h ---------------------------------------------------===
   2  *
   3  * Permission is hereby granted, free of charge, to any person obtaining a copy
   4  * of this software and associated documentation files (the "Software"), to deal
   5  * in the Software without restriction, including without limitation the rights
   6  * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
   7  * copies of the Software, and to permit persons to whom the Software is
   8  * furnished to do so, subject to the following conditions:
   9  *
  10  * The above copyright notice and this permission notice shall be included in
  11  * all copies or substantial portions of the Software.
  12  *
  13  * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
  14  * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
  15  * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
  16  * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
  17  * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
  18  * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
  19  * THE SOFTWARE.
  20  *
  21  *===-----------------------------------------------------------------------===
  22  */
  23
  24 /* Only include this if we're compiling for the windows platform. */
  25 #ifndef _MSC_VER
  26 #include_next <Intrin.h>
  27 #else
  28
  29 #ifndef __INTRIN_H
  30 #define __INTRIN_H
  31
  32 /* First include the standard intrinsics. */
  33 #if defined(__i386__) || defined(__x86_64__)
  34 #include <x86intrin.h>
  35 #endif
  36
  37 /* For the definition of jmp_buf. */
  38 #if __STDC_HOSTED__
  39 #include <setjmp.h>
  40 #endif
  41
  42 #ifdef __cplusplus
  43 extern "C" {
  44 #endif
  45
  46 #if defined(__MMX__)
  47 /* And the random ones that aren't in those files. */
  48 __m64 _m_from_float(float);
  49 __m64 _m_from_int(int _l);
  50 void _m_prefetch(void *);
  51 float _m_to_float(__m64);
  52 int _m_to_int(__m64 _M);
  53 #endif
  54
  55 /* Other assorted instruction intrinsics. */
  56 void __addfsbyte(unsigned long, unsigned char);
  57 void __addfsdword(unsigned long, unsigned long);
  58 void __addfsword(unsigned long, unsigned short);
  59 void __code_seg(const char *);
  60 static __inline__
  61 void __cpuid(int[4], int);
  62 static __inline__
  63 void __cpuidex(int[4], int, int);
  64 void __debugbreak(void);
  65 __int64 __emul(int, int);
  66 unsigned __int64 __emulu(unsigned int, unsigned int);
  67 void __cdecl __fastfail(unsigned int);
  68 unsigned int __getcallerseflags(void);
  69 static __inline__
  70 void __halt(void);
  71 unsigned char __inbyte(unsigned short);
  72 void __inbytestring(unsigned short, unsigned char *, unsigned long);
  73 void __incfsbyte(unsigned long);
  74 void __incfsdword(unsigned long);
  75 void __incfsword(unsigned long);
  76 unsigned long __indword(unsigned short);
  77 void __indwordstring(unsigned short, unsigned long *, unsigned long);
  78 void __int2c(void);
  79 void __invlpg(void *);
  80 unsigned short __inword(unsigned short);
  81 void __inwordstring(unsigned short, unsigned short *, unsigned long);
  82 void __lidt(void *);
  83 unsigned __int64 __ll_lshift(unsigned __int64, int);
  84 __int64 __ll_rshift(__int64, int);
  85 void __llwpcb(void *);
  86 unsigned char __lwpins32(unsigned int, unsigned int, unsigned int);
  87 void __lwpval32(unsigned int, unsigned int, unsigned int);
  88 unsigned int __lzcnt(unsigned int);
  89 unsigned short __lzcnt16(unsigned short);
  90 static __inline__
  91 void __movsb(unsigned char *, unsigned char const *, size_t);
  92 static __inline__
  93 void __movsd(unsigned long *, unsigned long const *, size_t);
  94 static __inline__
  95 void __movsw(unsigned short *, unsigned short const *, size_t);
  96 void __nop(void);
  97 void __nvreg_restore_fence(void);
  98 void __nvreg_save_fence(void);
  99 void __outbyte(unsigned short, unsigned char);
 100 void __outbytestring(unsigned short, unsigned char *, unsigned long);
 101 void __outdword(unsigned short, unsigned long);
 102 void __outdwordstring(unsigned short, unsigned long *, unsigned long);
 103 void __outword(unsigned short, unsigned short);
 104 void __outwordstring(unsigned short, unsigned short *, unsigned long);
 105 static __inline__
 106 unsigned int __popcnt(unsigned int);
 107 static __inline__
 108 unsigned short __popcnt16(unsigned short);
 109 unsigned long __readcr0(void);
 110 unsigned long __readcr2(void);
 111 static __inline__
 112 unsigned long __readcr3(void);
 113 unsigned long __readcr4(void);
 114 unsigned long __readcr8(void);
 115 unsigned int __readdr(unsigned int);
 116 #ifdef __i386__
 117 static __inline__
 118 unsigned char __readfsbyte(unsigned long);
 119 static __inline__
 120 unsigned long __readfsdword(unsigned long);
 121 static __inline__
 122 unsigned __int64 __readfsqword(unsigned long);
 123 static __inline__
 124 unsigned short __readfsword(unsigned long);
 125 #endif
 126 static __inline__
 127 unsigned __int64 __readmsr(unsigned long);
 128 unsigned __int64 __readpmc(unsigned long);
 129 unsigned long __segmentlimit(unsigned long);
 130 void __sidt(void *);
 131 void *__slwpcb(void);
 132 static __inline__
 133 void __stosb(unsigned char *, unsigned char, size_t);
 134 static __inline__
 135 void __stosd(unsigned long *, unsigned long, size_t);
 136 static __inline__
 137 void __stosw(unsigned short *, unsigned short, size_t);
 138 void __svm_clgi(void);
 139 void __svm_invlpga(void *, int);
 140 void __svm_skinit(int);
 141 void __svm_stgi(void);
 142 void __svm_vmload(size_t);
 143 void __svm_vmrun(size_t);
 144 void __svm_vmsave(size_t);
 145 void __ud2(void);
 146 unsigned __int64 __ull_rshift(unsigned __int64, int);
 147 void __vmx_off(void);
 148 void __vmx_vmptrst(unsigned __int64 *);
 149 void __wbinvd(void);
 150 void __writecr0(unsigned int);
 151 static __inline__
 152 void __writecr3(unsigned int);
 153 void __writecr4(unsigned int);
 154 void __writecr8(unsigned int);
 155 void __writedr(unsigned int, unsigned int);
 156 void __writefsbyte(unsigned long, unsigned char);
 157 void __writefsdword(unsigned long, unsigned long);
 158 void __writefsqword(unsigned long, unsigned __int64);
 159 void __writefsword(unsigned long, unsigned short);
 160 void __writemsr(unsigned long, unsigned __int64);
 161 static __inline__
 162 void *_AddressOfReturnAddress(void);
 163 static __inline__
 164 unsigned char _BitScanForward(unsigned long *_Index, unsigned long _Mask);
 165 static __inline__
 166 unsigned char _BitScanReverse(unsigned long *_Index, unsigned long _Mask);
 167 static __inline__
 168 unsigned char _bittest(long const *, long);
 169 static __inline__
 170 unsigned char _bittestandcomplement(long *, long);
 171 static __inline__
 172 unsigned char _bittestandreset(long *, long);
 173 static __inline__
 174 unsigned char _bittestandset(long *, long);
 175 unsigned __int64 __cdecl _byteswap_uint64(unsigned __int64);
 176 unsigned long __cdecl _byteswap_ulong(unsigned long);
 177 unsigned short __cdecl _byteswap_ushort(unsigned short);
 178 void __cdecl _disable(void);
 179 void __cdecl _enable(void);
 180 void __cdecl _fxrstor(void const *);
 181 void __cdecl _fxsave(void *);
 182 long _InterlockedAddLargeStatistic(__int64 volatile *_Addend, long _Value);
 183 static __inline__
 184 long _InterlockedAnd(long volatile *_Value, long _Mask);
 185 static __inline__
 186 short _InterlockedAnd16(short volatile *_Value, short _Mask);
 187 static __inline__
 188 char _InterlockedAnd8(char volatile *_Value, char _Mask);
 189 unsigned char _interlockedbittestandreset(long volatile *, long);
 190 static __inline__
 191 unsigned char _interlockedbittestandset(long volatile *, long);
 192 static __inline__
 193 long __cdecl _InterlockedCompareExchange(long volatile *_Destination,
 194                                          long _Exchange, long _Comparand);
 195 long _InterlockedCompareExchange_HLEAcquire(long volatile *, long, long);
 196 long _InterlockedCompareExchange_HLERelease(long volatile *, long, long);
 197 static __inline__
 198 short _InterlockedCompareExchange16(short volatile *_Destination,
 199                                     short _Exchange, short _Comparand);
 200 static __inline__
 201 __int64 _InterlockedCompareExchange64(__int64 volatile *_Destination,
 202                                       __int64 _Exchange, __int64 _Comparand);
 203 __int64 _InterlockedcompareExchange64_HLEAcquire(__int64 volatile *, __int64,
 204                                                  __int64);
 205 __int64 _InterlockedCompareExchange64_HLERelease(__int64 volatile *, __int64,
 206                                                  __int64);
 207 static __inline__
 208 char _InterlockedCompareExchange8(char volatile *_Destination, char _Exchange,
 209                                   char _Comparand);
 210 void *_InterlockedCompareExchangePointer_HLEAcquire(void *volatile *, void *,
 211                                                     void *);
 212 void *_InterlockedCompareExchangePointer_HLERelease(void *volatile *, void *,
 213                                                     void *);
 214 static __inline__
 215 long __cdecl _InterlockedDecrement(long volatile *_Addend);
 216 static __inline__
 217 short _InterlockedDecrement16(short volatile *_Addend);
 218 long _InterlockedExchange(long volatile *_Target, long _Value);
 219 static __inline__
 220 short _InterlockedExchange16(short volatile *_Target, short _Value);
 221 static __inline__
 222 char _InterlockedExchange8(char volatile *_Target, char _Value);
 223 static __inline__
 224 long __cdecl _InterlockedExchangeAdd(long volatile *_Addend, long _Value);
 225 long _InterlockedExchangeAdd_HLEAcquire(long volatile *, long);
 226 long _InterlockedExchangeAdd_HLERelease(long volatile *, long);
 227 static __inline__
 228 short _InterlockedExchangeAdd16(short volatile *_Addend, short _Value);
 229 __int64 _InterlockedExchangeAdd64_HLEAcquire(__int64 volatile *, __int64);
 230 __int64 _InterlockedExchangeAdd64_HLERelease(__int64 volatile *, __int64);
 231 static __inline__
 232 char _InterlockedExchangeAdd8(char volatile *_Addend, char _Value);
 233 static __inline__
 234 long __cdecl _InterlockedIncrement(long volatile *_Addend);
 235 static __inline__
 236 short _InterlockedIncrement16(short volatile *_Addend);
 237 static __inline__
 238 long _InterlockedOr(long volatile *_Value, long _Mask);
 239 static __inline__
 240 short _InterlockedOr16(short volatile *_Value, short _Mask);
 241 static __inline__
 242 char _InterlockedOr8(char volatile *_Value, char _Mask);
 243 static __inline__
 244 long _InterlockedXor(long volatile *_Value, long _Mask);
 245 static __inline__
 246 short _InterlockedXor16(short volatile *_Value, short _Mask);
 247 static __inline__
 248 char _InterlockedXor8(char volatile *_Value, char _Mask);
 249 void __cdecl _invpcid(unsigned int, void *);
 250 static __inline__
 251 unsigned long __cdecl _lrotl(unsigned long, int);
 252 static __inline__
 253 unsigned long __cdecl _lrotr(unsigned long, int);
 254 static __inline__
 255 static __inline__
 256 void _ReadBarrier(void);
 257 static __inline__
 258 void _ReadWriteBarrier(void);
 259 static __inline__
 260 void *_ReturnAddress(void);
 261 unsigned int _rorx_u32(unsigned int, const unsigned int);
 262 static __inline__
 263 unsigned int __cdecl _rotl(unsigned int _Value, int _Shift);
 264 static __inline__
 265 unsigned short _rotl16(unsigned short _Value, unsigned char _Shift);
 266 static __inline__
 267 unsigned __int64 __cdecl _rotl64(unsigned __int64 _Value, int _Shift);
 268 static __inline__
 269 unsigned char _rotl8(unsigned char _Value, unsigned char _Shift);
 270 static __inline__
 271 unsigned int __cdecl _rotr(unsigned int _Value, int _Shift);
 272 static __inline__
 273 unsigned short _rotr16(unsigned short _Value, unsigned char _Shift);
 274 static __inline__
 275 unsigned __int64 __cdecl _rotr64(unsigned __int64 _Value, int _Shift);
 276 static __inline__
 277 unsigned char _rotr8(unsigned char _Value, unsigned char _Shift);
 278 int _sarx_i32(int, unsigned int);
 279 #if __STDC_HOSTED__
 280 int __cdecl _setjmp(jmp_buf);
 281 #endif
 282 unsigned int _shlx_u32(unsigned int, unsigned int);
 283 unsigned int _shrx_u32(unsigned int, unsigned int);
 284 void _Store_HLERelease(long volatile *, long);
 285 void _Store64_HLERelease(__int64 volatile *, __int64);
 286 void _StorePointer_HLERelease(void *volatile *, void *);
 287 static __inline__
 288 void _WriteBarrier(void);
 289 unsigned __int32 xbegin(void);
 290 void _xend(void);
 291 static __inline__
 292 #define _XCR_XFEATURE_ENABLED_MASK 0
 293 unsigned __int64 __cdecl _xgetbv(unsigned int);
 294 void __cdecl _xrstor(void const *, unsigned __int64);
 295 void __cdecl _xsave(void *, unsigned __int64);
 296 void __cdecl _xsaveopt(void *, unsigned __int64);
 297 void __cdecl _xsetbv(unsigned int, unsigned __int64);
 298
 299 /* These additional intrinsics are turned on in x64/amd64/x86_64 mode. */
 300 #ifdef __x86_64__
 301 void __addgsbyte(unsigned long, unsigned char);
 302 void __addgsdword(unsigned long, unsigned long);
 303 void __addgsqword(unsigned long, unsigned __int64);
 304 void __addgsword(unsigned long, unsigned short);
 305 static __inline__
 306 void __faststorefence(void);
 307 void __incgsbyte(unsigned long);
 308 void __incgsdword(unsigned long);
 309 void __incgsqword(unsigned long);
 310 void __incgsword(unsigned long);
 311 unsigned char __lwpins64(unsigned __int64, unsigned int, unsigned int);
 312 void __lwpval64(unsigned __int64, unsigned int, unsigned int);
 313 unsigned __int64 __lzcnt64(unsigned __int64);
 314 static __inline__
 315 void __movsq(unsigned long long *, unsigned long long const *, size_t);
 316 __int64 __mulh(__int64, __int64);
 317 static __inline__
 318 unsigned __int64 __popcnt64(unsigned __int64);
 319 static __inline__
 320 unsigned char __readgsbyte(unsigned long);
 321 static __inline__
 322 unsigned long __readgsdword(unsigned long);
 323 static __inline__
 324 unsigned __int64 __readgsqword(unsigned long);
 325 unsigned short __readgsword(unsigned long);
 326 unsigned __int64 __shiftleft128(unsigned __int64 _LowPart,
 327                                 unsigned __int64 _HighPart,
 328                                 unsigned char _Shift);
 329 unsigned __int64 __shiftright128(unsigned __int64 _LowPart,
 330                                  unsigned __int64 _HighPart,
 331                                  unsigned char _Shift);
 332 static __inline__
 333 void __stosq(unsigned __int64 *, unsigned __int64, size_t);
 334 unsigned char __vmx_on(unsigned __int64 *);
 335 unsigned char __vmx_vmclear(unsigned __int64 *);
 336 unsigned char __vmx_vmlaunch(void);
 337 unsigned char __vmx_vmptrld(unsigned __int64 *);
 338 unsigned char __vmx_vmread(size_t, size_t *);
 339 unsigned char __vmx_vmresume(void);
 340 unsigned char __vmx_vmwrite(size_t, size_t);
 341 void __writegsbyte(unsigned long, unsigned char);
 342 void __writegsdword(unsigned long, unsigned long);
 343 void __writegsqword(unsigned long, unsigned __int64);
 344 void __writegsword(unsigned long, unsigned short);
 345 static __inline__
 346 unsigned char _BitScanForward64(unsigned long *_Index, unsigned __int64 _Mask);
 347 static __inline__
 348 unsigned char _BitScanReverse64(unsigned long *_Index, unsigned __int64 _Mask);
 349 static __inline__
 350 unsigned char _bittest64(__int64 const *, __int64);
 351 static __inline__
 352 unsigned char _bittestandcomplement64(__int64 *, __int64);
 353 static __inline__
 354 unsigned char _bittestandreset64(__int64 *, __int64);
 355 static __inline__
 356 unsigned char _bittestandset64(__int64 *, __int64);
 357 unsigned __int64 __cdecl _byteswap_uint64(unsigned __int64);
 358 void __cdecl _fxrstor64(void const *);
 359 void __cdecl _fxsave64(void *);
 360 long _InterlockedAnd_np(long volatile *_Value, long _Mask);
 361 short _InterlockedAnd16_np(short volatile *_Value, short _Mask);
 362 __int64 _InterlockedAnd64_np(__int64 volatile *_Value, __int64 _Mask);
 363 char _InterlockedAnd8_np(char volatile *_Value, char _Mask);
 364 unsigned char _interlockedbittestandreset64(__int64 volatile *, __int64);
 365 static __inline__
 366 unsigned char _interlockedbittestandset64(__int64 volatile *, __int64);
 367 long _InterlockedCompareExchange_np(long volatile *_Destination, long _Exchange,
 368                                     long _Comparand);
 369 unsigned char _InterlockedCompareExchange128(__int64 volatile *_Destination,
 370                                              __int64 _ExchangeHigh,
 371                                              __int64 _ExchangeLow,
 372                                              __int64 *_CompareandResult);
 373 unsigned char _InterlockedCompareExchange128_np(__int64 volatile *_Destination,
 374                                                 __int64 _ExchangeHigh,
 375                                                 __int64 _ExchangeLow,
 376                                                 __int64 *_ComparandResult);
 377 short _InterlockedCompareExchange16_np(short volatile *_Destination,
 378                                        short _Exchange, short _Comparand);
 379 __int64 _InterlockedCompareExchange64_HLEAcquire(__int64 volatile *, __int64,
 380                                                  __int64);
 381 __int64 _InterlockedCompareExchange64_HLERelease(__int64 volatile *, __int64,
 382                                                  __int64);
 383 __int64 _InterlockedCompareExchange64_np(__int64 volatile *_Destination,
 384                                          __int64 _Exchange, __int64 _Comparand);
 385 void *_InterlockedCompareExchangePointer(void *volatile *_Destination,
 386                                          void *_Exchange, void *_Comparand);
 387 void *_InterlockedCompareExchangePointer_np(void *volatile *_Destination,
 388                                             void *_Exchange, void *_Comparand);
 389 static __inline__
 390 __int64 _InterlockedDecrement64(__int64 volatile *_Addend);
 391 static __inline__
 392 __int64 _InterlockedExchange64(__int64 volatile *_Target, __int64 _Value);
 393 static __inline__
 394 __int64 _InterlockedExchangeAdd64(__int64 volatile *_Addend, __int64 _Value);
 395 void *_InterlockedExchangePointer(void *volatile *_Target, void *_Value);
 396 static __inline__
 397 __int64 _InterlockedIncrement64(__int64 volatile *_Addend);
 398 long _InterlockedOr_np(long volatile *_Value, long _Mask);
 399 short _InterlockedOr16_np(short volatile *_Value, short _Mask);
 400 static __inline__
 401 __int64 _InterlockedOr64(__int64 volatile *_Value, __int64 _Mask);
 402 __int64 _InterlockedOr64_np(__int64 volatile *_Value, __int64 _Mask);
 403 char _InterlockedOr8_np(char volatile *_Value, char _Mask);
 404 long _InterlockedXor_np(long volatile *_Value, long _Mask);
 405 short _InterlockedXor16_np(short volatile *_Value, short _Mask);
 406 static __inline__
 407 __int64 _InterlockedXor64(__int64 volatile *_Value, __int64 _Mask);
 408 __int64 _InterlockedXor64_np(__int64 volatile *_Value, __int64 _Mask);
 409 char _InterlockedXor8_np(char volatile *_Value, char _Mask);
 410 static __inline__
 411 __int64 _mul128(__int64 _Multiplier, __int64 _Multiplicand,
 412                 __int64 *_HighProduct);
 413 unsigned __int64 _rorx_u64(unsigned __int64, const unsigned int);
 414 __int64 _sarx_i64(__int64, unsigned int);
 415 #if __STDC_HOSTED__
 416 int __cdecl _setjmpex(jmp_buf);
 417 #endif
 418 unsigned __int64 _shlx_u64(unsigned __int64, unsigned int);
 419 unsigned __int64 _shrx_u64(unsigned __int64, unsigned int);
 420 /*
 421  * Multiply two 64-bit integers and obtain a 64-bit result.
 422  * The low-half is returned directly and the high half is in an out parameter.
 423  */
 424 static __inline__ unsigned __int64 __attribute__((__always_inline__, __nodebug__))
 425 _umul128(unsigned __int64 _Multiplier, unsigned __int64 _Multiplicand,
 426          unsigned __int64 *_HighProduct) {
 427   unsigned __int128 _FullProduct =
 428       (unsigned __int128)_Multiplier * (unsigned __int128)_Multiplicand;
 429   *_HighProduct = _FullProduct >> 64;
 430   return _FullProduct;
 431 }
 432 static __inline__ unsigned __int64 __attribute__((__always_inline__, __nodebug__))
 433 __umulh(unsigned __int64 _Multiplier, unsigned __int64 _Multiplicand) {
 434   unsigned __int128 _FullProduct =
 435       (unsigned __int128)_Multiplier * (unsigned __int128)_Multiplicand;
 436   return _FullProduct >> 64;
 437 }
 438 void __cdecl _xrstor64(void const *, unsigned __int64);
 439 void __cdecl _xsave64(void *, unsigned __int64);
 440 void __cdecl _xsaveopt64(void *, unsigned __int64);
 441
 442 #endif /* __x86_64__ */
 443
 444 /*----------------------------------------------------------------------------*\
 445 |* Bit Twiddling
 446 \*----------------------------------------------------------------------------*/
 447 static __inline__ unsigned char __attribute__((__always_inline__, __nodebug__))
 448 _rotl8(unsigned char _Value, unsigned char _Shift) {
 449   _Shift &= 0x7;
 450   return _Shift ? (_Value << _Shift) | (_Value >> (8 - _Shift)) : _Value;
 451 }
 452 static __inline__ unsigned char __attribute__((__always_inline__, __nodebug__))
 453 _rotr8(unsigned char _Value, unsigned char _Shift) {
 454   _Shift &= 0x7;
 455   return _Shift ? (_Value >> _Shift) | (_Value << (8 - _Shift)) : _Value;
 456 }
 457 static __inline__ unsigned short __attribute__((__always_inline__, __nodebug__))
 458 _rotl16(unsigned short _Value, unsigned char _Shift) {
 459   _Shift &= 0xf;
 460   return _Shift ? (_Value << _Shift) | (_Value >> (16 - _Shift)) : _Value;
 461 }
 462 static __inline__ unsigned short __attribute__((__always_inline__, __nodebug__))
 463 _rotr16(unsigned short _Value, unsigned char _Shift) {
 464   _Shift &= 0xf;
 465   return _Shift ? (_Value >> _Shift) | (_Value << (16 - _Shift)) : _Value;
 466 }
 467 static __inline__ unsigned int __attribute__((__always_inline__, __nodebug__))
 468 _rotl(unsigned int _Value, int _Shift) {
 469   _Shift &= 0x1f;
 470   return _Shift ? (_Value << _Shift) | (_Value >> (32 - _Shift)) : _Value;
 471 }
 472 static __inline__ unsigned int __attribute__((__always_inline__, __nodebug__))
 473 _rotr(unsigned int _Value, int _Shift) {
 474   _Shift &= 0x1f;
 475   return _Shift ? (_Value >> _Shift) | (_Value << (32 - _Shift)) : _Value;
 476 }
 477 static __inline__ unsigned long __attribute__((__always_inline__, __nodebug__))
 478 _lrotl(unsigned long _Value, int _Shift) {
 479   _Shift &= 0x1f;
 480   return _Shift ? (_Value << _Shift) | (_Value >> (32 - _Shift)) : _Value;
 481 }
 482 static __inline__ unsigned long __attribute__((__always_inline__, __nodebug__))
 483 _lrotr(unsigned long _Value, int _Shift) {
 484   _Shift &= 0x1f;
 485   return _Shift ? (_Value >> _Shift) | (_Value << (32 - _Shift)) : _Value;
 486 }
 487 static
 488 __inline__ unsigned __int64 __attribute__((__always_inline__, __nodebug__))
 489 _rotl64(unsigned __int64 _Value, int _Shift) {
 490   _Shift &= 0x3f;
 491   return _Shift ? (_Value << _Shift) | (_Value >> (64 - _Shift)) : _Value;
 492 }
 493 static
 494 __inline__ unsigned __int64 __attribute__((__always_inline__, __nodebug__))
 495 _rotr64(unsigned __int64 _Value, int _Shift) {
 496   _Shift &= 0x3f;
 497   return _Shift ? (_Value >> _Shift) | (_Value << (64 - _Shift)) : _Value;
 498 }
 499 /*----------------------------------------------------------------------------*\
 500 |* Bit Counting and Testing
 501 \*----------------------------------------------------------------------------*/
 502 static __inline__ unsigned char __attribute__((__always_inline__, __nodebug__))
 503 _BitScanForward(unsigned long *_Index, unsigned long _Mask) {
 504   if (!_Mask)
 505     return 0;
 506   *_Index = __builtin_ctzl(_Mask);
 507   return 1;
 508 }
 509 static __inline__ unsigned char __attribute__((__always_inline__, __nodebug__))
 510 _BitScanReverse(unsigned long *_Index, unsigned long _Mask) {
 511   if (!_Mask)
 512     return 0;
 513   *_Index = 31 - __builtin_clzl(_Mask);
 514   return 1;
 515 }
 516 static __inline__ unsigned short __attribute__((__always_inline__, __nodebug__))
 517 __popcnt16(unsigned short value) {
 518   return __builtin_popcount((int)value);
 519 }
 520 static __inline__ unsigned int __attribute__((__always_inline__, __nodebug__))
 521 __popcnt(unsigned int value) {
 522   return __builtin_popcount(value);
 523 }
 524 static __inline__ unsigned char __attribute__((__always_inline__, __nodebug__))
 525 _bittest(long const *a, long b) {
 526   return (*a >> b) & 1;
 527 }
 528 static __inline__ unsigned char __attribute__((__always_inline__, __nodebug__))
 529 _bittestandcomplement(long *a, long b) {
 530   unsigned char x = (*a >> b) & 1;
 531   *a = *a ^ (1 << b);
 532   return x;
 533 }
 534 static __inline__ unsigned char __attribute__((__always_inline__, __nodebug__))
 535 _bittestandreset(long *a, long b) {
 536   unsigned char x = (*a >> b) & 1;
 537   *a = *a & ~(1 << b);
 538   return x;
 539 }
 540 static __inline__ unsigned char __attribute__((__always_inline__, __nodebug__))
 541 _bittestandset(long *a, long b) {
 542   unsigned char x = (*a >> b) & 1;
 543   *a = *a | (1 << b);
 544   return x;
 545 }
 546 #if defined(__i386__) || defined(__x86_64__)
 547 static __inline__ unsigned char __attribute__((__always_inline__, __nodebug__))
 548 _interlockedbittestandset(long volatile *__BitBase, long __BitPos) {
 549   unsigned char __Res;
 550   __asm__ ("xor %0, %0\n"
 551            "lock bts %2, %1\n"
 552            "setc %0\n"
 553            : "=r" (__Res), "+m"(*__BitBase)
 554            : "Ir"(__BitPos));
 555   return __Res;
 556 }
 557 #endif
 558 #ifdef __x86_64__
 559 static __inline__ unsigned char __attribute__((__always_inline__, __nodebug__))
 560 _BitScanForward64(unsigned long *_Index, unsigned __int64 _Mask) {
 561   if (!_Mask)
 562     return 0;
 563   *_Index = __builtin_ctzll(_Mask);
 564   return 1;
 565 }
 566 static __inline__ unsigned char __attribute__((__always_inline__, __nodebug__))
 567 _BitScanReverse64(unsigned long *_Index, unsigned __int64 _Mask) {
 568   if (!_Mask)
 569     return 0;
 570   *_Index = 63 - __builtin_clzll(_Mask);
 571   return 1;
 572 }
 573 static __inline__
 574 unsigned __int64 __attribute__((__always_inline__, __nodebug__))
 575  __popcnt64(unsigned __int64 value) {
 576   return __builtin_popcountll(value);
 577 }
 578 static __inline__ unsigned char __attribute__((__always_inline__, __nodebug__))
 579 _bittest64(__int64 const *a, __int64 b) {
 580   return (*a >> b) & 1;
 581 }
 582 static __inline__ unsigned char __attribute__((__always_inline__, __nodebug__))
 583 _bittestandcomplement64(__int64 *a, __int64 b) {
 584   unsigned char x = (*a >> b) & 1;
 585   *a = *a ^ (1ll << b);
 586   return x;
 587 }
 588 static __inline__ unsigned char __attribute__((__always_inline__, __nodebug__))
 589 _bittestandreset64(__int64 *a, __int64 b) {
 590   unsigned char x = (*a >> b) & 1;
 591   *a = *a & ~(1ll << b);
 592   return x;
 593 }
 594 static __inline__ unsigned char __attribute__((__always_inline__, __nodebug__))
 595 _bittestandset64(__int64 *a, __int64 b) {
 596   unsigned char x = (*a >> b) & 1;
 597   *a = *a | (1ll << b);
 598   return x;
 599 }
 600 static __inline__ unsigned char __attribute__((__always_inline__, __nodebug__))
 601 _interlockedbittestandset64(__int64 volatile *__BitBase, __int64 __BitPos) {
 602   unsigned char __Res;
 603   __asm__ ("xor %0, %0\n"
 604            "lock bts %2, %1\n"
 605            "setc %0\n"
 606            : "=r" (__Res), "+m"(*__BitBase)
 607            : "Ir"(__BitPos));
 608   return __Res;
 609 }
 610 #endif
 611 /*----------------------------------------------------------------------------*\
 612 |* Interlocked Exchange Add
 613 \*----------------------------------------------------------------------------*/
 614 static __inline__ char __attribute__((__always_inline__, __nodebug__))
 615 _InterlockedExchangeAdd8(char volatile *_Addend, char _Value) {
 616   return __atomic_add_fetch(_Addend, _Value, 0) - _Value;
 617 }
 618 static __inline__ short __attribute__((__always_inline__, __nodebug__))
 619 _InterlockedExchangeAdd16(short volatile *_Addend, short _Value) {
 620   return __atomic_add_fetch(_Addend, _Value, 0) - _Value;
 621 }
 622 #ifdef __x86_64__
 623 static __inline__ __int64 __attribute__((__always_inline__, __nodebug__))
 624 _InterlockedExchangeAdd64(__int64 volatile *_Addend, __int64 _Value) {
 625   return __atomic_add_fetch(_Addend, _Value, 0) - _Value;
 626 }
 627 #endif
 628 /*----------------------------------------------------------------------------*\
 629 |* Interlocked Exchange Sub
 630 \*----------------------------------------------------------------------------*/
 631 static __inline__ char __attribute__((__always_inline__, __nodebug__))
 632 _InterlockedExchangeSub8(char volatile *_Subend, char _Value) {
 633   return __atomic_sub_fetch(_Subend, _Value, 0) + _Value;
 634 }
 635 static __inline__ short __attribute__((__always_inline__, __nodebug__))
 636 _InterlockedExchangeSub16(short volatile *_Subend, short _Value) {
 637   return __atomic_sub_fetch(_Subend, _Value, 0) + _Value;
 638 }
 639 static __inline__ long __attribute__((__always_inline__, __nodebug__))
 640 _InterlockedExchangeSub(long volatile *_Subend, long _Value) {
 641   return __atomic_sub_fetch(_Subend, _Value, 0) + _Value;
 642 }
 643 #ifdef __x86_64__
 644 static __inline__ __int64 __attribute__((__always_inline__, __nodebug__))
 645 _InterlockedExchangeSub64(__int64 volatile *_Subend, __int64 _Value) {
 646   return __atomic_sub_fetch(_Subend, _Value, 0) + _Value;
 647 }
 648 #endif
 649 /*----------------------------------------------------------------------------*\
 650 |* Interlocked Increment
 651 \*----------------------------------------------------------------------------*/
 652 static __inline__ short __attribute__((__always_inline__, __nodebug__))
 653 _InterlockedIncrement16(short volatile *_Value) {
 654   return __atomic_add_fetch(_Value, 1, 0);
 655 }
 656 #ifdef __x86_64__
 657 static __inline__ __int64 __attribute__((__always_inline__, __nodebug__))
 658 _InterlockedIncrement64(__int64 volatile *_Value) {
 659   return __atomic_add_fetch(_Value, 1, 0);
 660 }
 661 #endif
 662 /*----------------------------------------------------------------------------*\
 663 |* Interlocked Decrement
 664 \*----------------------------------------------------------------------------*/
 665 static __inline__ short __attribute__((__always_inline__, __nodebug__))
 666 _InterlockedDecrement16(short volatile *_Value) {
 667   return __atomic_sub_fetch(_Value, 1, 0);
 668 }
 669 #ifdef __x86_64__
 670 static __inline__ __int64 __attribute__((__always_inline__, __nodebug__))
 671 _InterlockedDecrement64(__int64 volatile *_Value) {
 672   return __atomic_sub_fetch(_Value, 1, 0);
 673 }
 674 #endif
 675 /*----------------------------------------------------------------------------*\
 676 |* Interlocked And
 677 \*----------------------------------------------------------------------------*/
 678 static __inline__ char __attribute__((__always_inline__, __nodebug__))
 679 _InterlockedAnd8(char volatile *_Value, char _Mask) {
 680   return __atomic_and_fetch(_Value, _Mask, 0);
 681 }
 682 static __inline__ short __attribute__((__always_inline__, __nodebug__))
 683 _InterlockedAnd16(short volatile *_Value, short _Mask) {
 684   return __atomic_and_fetch(_Value, _Mask, 0);
 685 }
 686 static __inline__ long __attribute__((__always_inline__, __nodebug__))
 687 _InterlockedAnd(long volatile *_Value, long _Mask) {
 688   return __atomic_and_fetch(_Value, _Mask, 0);
 689 }
 690 #ifdef __x86_64__
 691 static __inline__ __int64 __attribute__((__always_inline__, __nodebug__))
 692 _InterlockedAnd64(__int64 volatile *_Value, __int64 _Mask) {
 693   return __atomic_and_fetch(_Value, _Mask, 0);
 694 }
 695 #endif
 696 /*----------------------------------------------------------------------------*\
 697 |* Interlocked Or
 698 \*----------------------------------------------------------------------------*/
 699 static __inline__ char __attribute__((__always_inline__, __nodebug__))
 700 _InterlockedOr8(char volatile *_Value, char _Mask) {
 701   return __atomic_or_fetch(_Value, _Mask, 0);
 702 }
 703 static __inline__ short __attribute__((__always_inline__, __nodebug__))
 704 _InterlockedOr16(short volatile *_Value, short _Mask) {
 705   return __atomic_or_fetch(_Value, _Mask, 0);
 706 }
 707 static __inline__ long __attribute__((__always_inline__, __nodebug__))
 708 _InterlockedOr(long volatile *_Value, long _Mask) {
 709   return __atomic_or_fetch(_Value, _Mask, 0);
 710 }
 711 #ifdef __x86_64__
 712 static __inline__ __int64 __attribute__((__always_inline__, __nodebug__))
 713 _InterlockedOr64(__int64 volatile *_Value, __int64 _Mask) {
 714   return __atomic_or_fetch(_Value, _Mask, 0);
 715 }
 716 #endif
 717 /*----------------------------------------------------------------------------*\
 718 |* Interlocked Xor
 719 \*----------------------------------------------------------------------------*/
 720 static __inline__ char __attribute__((__always_inline__, __nodebug__))
 721 _InterlockedXor8(char volatile *_Value, char _Mask) {
 722   return __atomic_xor_fetch(_Value, _Mask, 0);
 723 }
 724 static __inline__ short __attribute__((__always_inline__, __nodebug__))
 725 _InterlockedXor16(short volatile *_Value, short _Mask) {
 726   return __atomic_xor_fetch(_Value, _Mask, 0);
 727 }
 728 static __inline__ long __attribute__((__always_inline__, __nodebug__))
 729 _InterlockedXor(long volatile *_Value, long _Mask) {
 730   return __atomic_xor_fetch(_Value, _Mask, 0);
 731 }
 732 #ifdef __x86_64__
 733 static __inline__ __int64 __attribute__((__always_inline__, __nodebug__))
 734 _InterlockedXor64(__int64 volatile *_Value, __int64 _Mask) {
 735   return __atomic_xor_fetch(_Value, _Mask, 0);
 736 }
 737 #endif
 738 /*----------------------------------------------------------------------------*\
 739 |* Interlocked Exchange
 740 \*----------------------------------------------------------------------------*/
 741 static __inline__ char __attribute__((__always_inline__, __nodebug__))
 742 _InterlockedExchange8(char volatile *_Target, char _Value) {
 743   __atomic_exchange(_Target, &_Value, &_Value, 0);
 744   return _Value;
 745 }
 746 static __inline__ short __attribute__((__always_inline__, __nodebug__))
 747 _InterlockedExchange16(short volatile *_Target, short _Value) {
 748   __atomic_exchange(_Target, &_Value, &_Value, 0);
 749   return _Value;
 750 }
 751 #ifdef __x86_64__
 752 static __inline__ __int64 __attribute__((__always_inline__, __nodebug__))
 753 _InterlockedExchange64(__int64 volatile *_Target, __int64 _Value) {
 754   __atomic_exchange(_Target, &_Value, &_Value, 0);
 755   return _Value;
 756 }
 757 #endif
 758 /*----------------------------------------------------------------------------*\
 759 |* Interlocked Compare Exchange
 760 \*----------------------------------------------------------------------------*/
 761 static __inline__ char __attribute__((__always_inline__, __nodebug__))
 762 _InterlockedCompareExchange8(char volatile *_Destination,
 763                              char _Exchange, char _Comparand) {
 764   __atomic_compare_exchange(_Destination, &_Comparand, &_Exchange, 0, 0, 0);
 765   return _Comparand;
 766 }
 767 static __inline__ short __attribute__((__always_inline__, __nodebug__))
 768 _InterlockedCompareExchange16(short volatile *_Destination,
 769                               short _Exchange, short _Comparand) {
 770   __atomic_compare_exchange(_Destination, &_Comparand, &_Exchange, 0, 0, 0);
 771   return _Comparand;
 772 }
 773 static __inline__ __int64 __attribute__((__always_inline__, __nodebug__))
 774 _InterlockedCompareExchange64(__int64 volatile *_Destination,
 775                               __int64 _Exchange, __int64 _Comparand) {
 776   __atomic_compare_exchange(_Destination, &_Comparand, &_Exchange, 0, 0, 0);
 777   return _Comparand;
 778 }
 779 /*----------------------------------------------------------------------------*\
 780 |* Barriers
 781 \*----------------------------------------------------------------------------*/
 782 #if defined(__i386__) || defined(__x86_64__)
 783 static __inline__ void __attribute__((__always_inline__, __nodebug__))
 784 __attribute__((__deprecated__("use other intrinsics or C++11 atomics instead")))
 785 _ReadWriteBarrier(void) {
 786   __asm__ volatile ("" : : : "memory");
 787 }
 788 static __inline__ void __attribute__((__always_inline__, __nodebug__))
 789 __attribute__((__deprecated__("use other intrinsics or C++11 atomics instead")))
 790 _ReadBarrier(void) {
 791   __asm__ volatile ("" : : : "memory");
 792 }
 793 static __inline__ void __attribute__((__always_inline__, __nodebug__))
 794 __attribute__((__deprecated__("use other intrinsics or C++11 atomics instead")))
 795 _WriteBarrier(void) {
 796   __asm__ volatile ("" : : : "memory");
 797 }
 798 #endif
 799 #ifdef __x86_64__
 800 static __inline__ void __attribute__((__always_inline__, __nodebug__))
 801 __faststorefence(void) {
 802   __asm__ volatile("lock orq $0, (%%rsp)" : : : "memory");
 803 }
 804 #endif
 805 /*----------------------------------------------------------------------------*\
 806 |* readfs, readgs
 807 |* (Pointers in address space #256 and #257 are relative to the GS and FS
 808 |* segment registers, respectively.)
 809 \*----------------------------------------------------------------------------*/
 810 #define __ptr_to_addr_space(__addr_space_nbr, __type, __offset)              \
 811     ((volatile __type __attribute__((__address_space__(__addr_space_nbr)))*) \
 812     (__offset))
 813
 814 #ifdef __i386__
 815 static __inline__ unsigned char __attribute__((__always_inline__, __nodebug__))
 816 __readfsbyte(unsigned long __offset) {
 817   return *__ptr_to_addr_space(257, unsigned char, __offset);
 818 }
 819 static __inline__ unsigned __int64 __attribute__((__always_inline__, __nodebug__))
 820 __readfsqword(unsigned long __offset) {
 821   return *__ptr_to_addr_space(257, unsigned __int64, __offset);
 822 }
 823 static __inline__ unsigned short __attribute__((__always_inline__, __nodebug__))
 824 __readfsword(unsigned long __offset) {
 825   return *__ptr_to_addr_space(257, unsigned short, __offset);
 826 }
 827 #endif
 828 #ifdef __x86_64__
 829 static __inline__ unsigned char __attribute__((__always_inline__, __nodebug__))
 830 __readgsbyte(unsigned long __offset) {
 831   return *__ptr_to_addr_space(256, unsigned char, __offset);
 832 }
 833 static __inline__ unsigned long __attribute__((__always_inline__, __nodebug__))
 834 __readgsdword(unsigned long __offset) {
 835   return *__ptr_to_addr_space(256, unsigned long, __offset);
 836 }
 837 static __inline__ unsigned __int64 __attribute__((__always_inline__, __nodebug__))
 838 __readgsqword(unsigned long __offset) {
 839   return *__ptr_to_addr_space(256, unsigned __int64, __offset);
 840 }
 841 static __inline__ unsigned short __attribute__((__always_inline__, __nodebug__))
 842 __readgsword(unsigned long __offset) {
 843   return *__ptr_to_addr_space(256, unsigned short, __offset);
 844 }
 845 #endif
 846 #undef __ptr_to_addr_space
 847 /*----------------------------------------------------------------------------*\
 848 |* movs, stos
 849 \*----------------------------------------------------------------------------*/
 850 #if defined(__i386__) || defined(__x86_64__)
 851 static __inline__ void __attribute__((__always_inline__, __nodebug__))
 852 __movsb(unsigned char *__dst, unsigned char const *__src, size_t __n) {
 853   __asm__("rep movsb" : : "D"(__dst), "S"(__src), "c"(__n)
 854                         : "%edi", "%esi", "%ecx");
 855 }
 856 static __inline__ void __attribute__((__always_inline__, __nodebug__))
 857 __movsd(unsigned long *__dst, unsigned long const *__src, size_t __n) {
 858   __asm__("rep movsl" : : "D"(__dst), "S"(__src), "c"(__n)
 859                         : "%edi", "%esi", "%ecx");
 860 }
 861 static __inline__ void __attribute__((__always_inline__, __nodebug__))
 862 __movsw(unsigned short *__dst, unsigned short const *__src, size_t __n) {
 863   __asm__("rep movsh" : : "D"(__dst), "S"(__src), "c"(__n)
 864                         : "%edi", "%esi", "%ecx");
 865 }
 866 static __inline__ void __attribute__((__always_inline__, __nodebug__))
 867 __stosb(unsigned char *__dst, unsigned char __x, size_t __n) {
 868   __asm__("rep stosb" : : "D"(__dst), "a"(__x), "c"(__n)
 869                         : "%edi", "%ecx");
 870 }
 871 static __inline__ void __attribute__((__always_inline__, __nodebug__))
 872 __stosd(unsigned long *__dst, unsigned long __x, size_t __n) {
 873   __asm__("rep stosl" : : "D"(__dst), "a"(__x), "c"(__n)
 874                         : "%edi", "%ecx");
 875 }
 876 static __inline__ void __attribute__((__always_inline__, __nodebug__))
 877 __stosw(unsigned short *__dst, unsigned short __x, size_t __n) {
 878   __asm__("rep stosh" : : "D"(__dst), "a"(__x), "c"(__n)
 879                         : "%edi", "%ecx");
 880 }
 881 #endif
 882 #ifdef __x86_64__
 883 static __inline__ void __attribute__((__always_inline__, __nodebug__))
 884 __movsq(unsigned long long *__dst, unsigned long long const *__src, size_t __n) {
 885   __asm__("rep movsq" : : "D"(__dst), "S"(__src), "c"(__n)
 886                         : "%edi", "%esi", "%ecx");
 887 }
 888 static __inline__ void __attribute__((__always_inline__, __nodebug__))
 889 __stosq(unsigned __int64 *__dst, unsigned __int64 __x, size_t __n) {
 890   __asm__("rep stosq" : : "D"(__dst), "a"(__x), "c"(__n)
 891                         : "%edi", "%ecx");
 892 }
 893 #endif
 894
 895 /*----------------------------------------------------------------------------*\
 896 |* Misc
 897 \*----------------------------------------------------------------------------*/
 898 static __inline__ void * __attribute__((__always_inline__, __nodebug__))
 899 _AddressOfReturnAddress(void) {
 900   return (void*)((char*)__builtin_frame_address(0) + sizeof(void*));
 901 }
 902 static __inline__ void * __attribute__((__always_inline__, __nodebug__))
 903 _ReturnAddress(void) {
 904   return __builtin_return_address(0);
 905 }
 906 #if defined(__i386__) || defined(__x86_64__)
 907 static __inline__ void __attribute__((__always_inline__, __nodebug__))
 908 __cpuid(int __info[4], int __level) {
 909   __asm__ ("cpuid" : "=a"(__info[0]), "=b" (__info[1]), "=c"(__info[2]), "=d"(__info[3])
 910                    : "a"(__level));
 911 }
 912 static __inline__ void __attribute__((__always_inline__, __nodebug__))
 913 __cpuidex(int __info[4], int __level, int __ecx) {
 914   __asm__ ("cpuid" : "=a"(__info[0]), "=b" (__info[1]), "=c"(__info[2]), "=d"(__info[3])
 915                    : "a"(__level), "c"(__ecx));
 916 }
 917 static __inline__ unsigned __int64 __cdecl __attribute__((__always_inline__, __nodebug__))
 918 _xgetbv(unsigned int __xcr_no) {
 919   unsigned int __eax, __edx;
 920   __asm__ ("xgetbv" : "=a" (__eax), "=d" (__edx) : "c" (__xcr_no));
 921   return ((unsigned __int64)__edx << 32) | __eax;
 922 }
 923 static __inline__ void __attribute__((__always_inline__, __nodebug__))
 924 __halt(void) {
 925   __asm__ volatile ("hlt");
 926 }
 927 #endif
 928
 929 /*----------------------------------------------------------------------------*\
 930 |* Privileged intrinsics
 931 \*----------------------------------------------------------------------------*/
 932 #if defined(__i386__) || defined(__x86_64__)
 933 static __inline__ unsigned __int64 __attribute__((__always_inline__, __nodebug__))
 934 __readmsr(unsigned long __register) {
 935   // Loads the contents of a 64-bit model specific register (MSR) specified in
 936   // the ECX register into registers EDX:EAX. The EDX register is loaded with
 937   // the high-order 32 bits of the MSR and the EAX register is loaded with the
 938   // low-order 32 bits. If less than 64 bits are implemented in the MSR being
 939   // read, the values returned to EDX:EAX in unimplemented bit locations are
 940   // undefined.
 941   unsigned long __edx;
 942   unsigned long __eax;
 943   __asm__ ("rdmsr" : "=d"(__edx), "=a"(__eax) : "c"(__register));
 944   return (((unsigned __int64)__edx) << 32) | (unsigned __int64)__eax;
 945 }
 946
 947 static __inline__ unsigned long __attribute__((__always_inline__, __nodebug__))
 948 __readcr3(void) {
 949   unsigned long __cr3_val;
 950   __asm__ __volatile__ ("mov %%cr3, %0" : "=q"(__cr3_val) : : "memory");
 951   return __cr3_val;
 952 }
 953
 954 static __inline__ void __attribute__((__always_inline__, __nodebug__))
 955 __writecr3(unsigned int __cr3_val) {
 956   __asm__ ("mov %0, %%cr3" : : "q"(__cr3_val) : "memory");
 957 }
 958 #endif
 959
 960 #ifdef __cplusplus
 961 }
 962 #endif
 963
 964 #endif /* __INTRIN_H */
 965 #endif /* _MSC_VER */