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