| 1 | /* Copyright (C) 2012-2015 Free Software Foundation, Inc. | 
 
 
 
 
 | 2 |  | 
 
 
 
 
 | 3 | This file is part of GCC. | 
 
 
 
 
 | 4 |  | 
 
 
 
 
 | 5 | GCC is free software; you can redistribute it and/or modify | 
 
 
 
 
 | 6 | it under the terms of the GNU General Public License as published by | 
 
 
 
 
 | 7 | the Free Software Foundation; either version 3, or (at your option) | 
 
 
 
 
 | 8 | any later version. | 
 
 
 
 
 | 9 |  | 
 
 
 
 
 | 10 | GCC is distributed in the hope that it will be useful, | 
 
 
 
 
 | 11 | but WITHOUT ANY WARRANTY; without even the implied warranty of | 
 
 
 
 
 | 12 | MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the | 
 
 
 
 
 | 13 | GNU General Public License for more details. | 
 
 
 
 
 | 14 |  | 
 
 
 
 
 | 15 | Under Section 7 of GPL version 3, you are granted additional | 
 
 
 
 
 | 16 | permissions described in the GCC Runtime Library Exception, version | 
 
 
 
 
 | 17 | 3.1, as published by the Free Software Foundation. | 
 
 
 
 
 | 18 |  | 
 
 
 
 
 | 19 | You should have received a copy of the GNU General Public License and | 
 
 
 
 
 | 20 | a copy of the GCC Runtime Library Exception along with this program; | 
 
 
 
 
 | 21 | see the files COPYING3 and COPYING.RUNTIME respectively.  If not, see | 
 
 
 
 
 | 22 | <http://www.gnu.org/licenses/>.  */ | 
 
 
 
 
 | 23 |  | 
 
 
 
 
 | 24 | #ifndef _MWAITXINTRIN_H_INCLUDED | 
 
 
 
 
 | 25 | #define _MWAITXINTRIN_H_INCLUDED | 
 
 
 
 
 | 26 |  | 
 
 
 
 
 | 27 | #ifndef __MWAITX__ | 
 
 
 
 
 | 28 | #pragma GCC push_options | 
 
 
 
 
 | 29 | #pragma GCC target("mwaitx") | 
 
 
 
 
 | 30 | #define __DISABLE_MWAITX__ | 
 
 
 
 
 | 31 | #endif /* __MWAITX__ */ | 
 
 
 
 
 | 32 |  | 
 
 
 
 
 | 33 | extern __inline void __attribute__((__gnu_inline__, __always_inline__, __artificial__)) | 
 
 
 
 
 | 34 | _mm_monitorx (void const * __P, unsigned int __E, unsigned int __H) | 
 
 
 
 
 | 35 | { | 
 
 
 
 
 | 36 | __builtin_ia32_monitorx (__P, __E, __H); | 
 
 
 
 
 | 37 | } | 
 
 
 
 
 | 38 |  | 
 
 
 
 
 | 39 | extern __inline void __attribute__((__gnu_inline__, __always_inline__, __artificial__)) | 
 
 
 
 
 | 40 | _mm_mwaitx (unsigned int __E, unsigned int __H, unsigned int __C) | 
 
 
 
 
 | 41 | { | 
 
 
 
 
 | 42 | __builtin_ia32_mwaitx (__E, __H, __C); | 
 
 
 
 
 | 43 | } | 
 
 
 
 
 | 44 |  | 
 
 
 
 
 | 45 | #ifdef __DISABLE_MWAITX__ | 
 
 
 
 
 | 46 | #undef __DISABLE_MWAITX__ | 
 
 
 
 
 | 47 | #pragma GCC pop_options | 
 
 
 
 
 | 48 | #endif /* __DISABLE_MWAITX__ */ | 
 
 
 
 
 | 49 |  | 
 
 
 
 
 | 50 | #endif /* _MWAITXINTRIN_H_INCLUDED */ |