24 #if !defined __X86INTRIN_H && !defined __IMMINTRIN_H 25 #error "Never use <wbnoinvdintrin.h> directly; include <x86intrin.h> instead." 28 #ifndef __WBNOINVDINTRIN_H 29 #define __WBNOINVDINTRIN_H 31 static __inline__
void 35 __builtin_ia32_wbnoinvd ();
static __inline__ void __attribute__((__always_inline__, __nodebug__, __target__("wbnoinvd"))) _wbnoinvd(void)