10 #if !defined __X86INTRIN_H && !defined __IMMINTRIN_H
11 #error "Never use <ptwriteintrin.h> directly; include <x86intrin.h> instead."
14 #ifndef __PTWRITEINTRIN_H
15 #define __PTWRITEINTRIN_H
18 #define __DEFAULT_FN_ATTRS \
19 __attribute__((__always_inline__, __nodebug__, __target__("ptwrite")))
23 __builtin_ia32_ptwrite32(
__value);
29 _ptwrite64(
unsigned long long __value) {
30 __builtin_ia32_ptwrite64(
__value);
35 #undef __DEFAULT_FN_ATTRS
static __inline__ void unsigned int __value
static __inline__ void __DEFAULT_FN_ATTRS _ptwrite32(unsigned int __value)
#define __DEFAULT_FN_ATTRS