10 #ifndef __X86GPRINTRIN_H
11 #error "Never use <uintrintrin.h> directly; include <x86gprintrin.h> instead."
14 #ifndef __UINTRINTRIN_H
15 #define __UINTRINTRIN_H
18 #define __DEFAULT_FN_ATTRS \
19 __attribute__((__always_inline__, __nodebug__, __target__("uintr")))
25 unsigned long long rip;
26 unsigned long long rflags;
27 unsigned long long rsp;
48 __builtin_ia32_clui();
69 __builtin_ia32_stui();
96 return __builtin_ia32_testui();
148 _senduipi (
unsigned long long __a)
150 __builtin_ia32_senduipi(
__a);
155 #undef __DEFAULT_FN_ATTRS
static __inline__ void int __a
#define __DEFAULT_FN_ATTRS