1*38fd1498Szrj #ifndef _X86INTRIN_H_INCLUDED 2*38fd1498Szrj #error "Never use <wbnoinvdintrin.h> directly; include <x86intrin.h> instead." 3*38fd1498Szrj #endif 4*38fd1498Szrj 5*38fd1498Szrj #ifndef _WBNOINVDINTRIN_H_INCLUDED 6*38fd1498Szrj #define _WBNOINVDINTRIN_H_INCLUDED 7*38fd1498Szrj 8*38fd1498Szrj #ifndef __WBNOINVD__ 9*38fd1498Szrj #pragma GCC push_options 10*38fd1498Szrj #pragma GCC target("wbnoinvd") 11*38fd1498Szrj #define __DISABLE_WBNOINVD__ 12*38fd1498Szrj #endif /* __WBNOINVD__ */ 13*38fd1498Szrj 14*38fd1498Szrj extern __inline void 15*38fd1498Szrj __attribute__((__gnu_inline__, __always_inline__, __artificial__)) _wbnoinvd(void)16*38fd1498Szrj_wbnoinvd (void) 17*38fd1498Szrj { 18*38fd1498Szrj __builtin_ia32_wbnoinvd (); 19*38fd1498Szrj } 20*38fd1498Szrj 21*38fd1498Szrj #ifdef __DISABLE_WBNOINVD__ 22*38fd1498Szrj #undef __DISABLE_WBNOINVD__ 23*38fd1498Szrj #pragma GCC pop_options 24*38fd1498Szrj #endif /* __DISABLE_WBNOINVD__ */ 25*38fd1498Szrj 26*38fd1498Szrj #endif /* _WBNOINVDINTRIN_H_INCLUDED */ 27