10 #if !defined __X86INTRIN_H && !defined __IMMINTRIN_H
11 #error "Never use <wbnoinvdintrin.h> directly; include <x86intrin.h> instead."
14 #ifndef __WBNOINVDINTRIN_H
15 #define __WBNOINVDINTRIN_H
17 static __inline__
void
21 __builtin_ia32_wbnoinvd ();
static __inline__ void __attribute__((__always_inline__, __nodebug__, __target__("wbnoinvd"))) _wbnoinvd(void)