25 #error "Never use <pkuintrin.h> directly; include <immintrin.h> instead."
32 #define __DEFAULT_FN_ATTRS __attribute__((__always_inline__, __nodebug__, __target__("pku")))
37 return __builtin_ia32_rdpkru();
41 _wrpkru(
unsigned int val)
43 return __builtin_ia32_wrpkru(val);
46 #undef __DEFAULT_FN_ATTRS
#define __DEFAULT_FN_ATTRS
Definition: pkuintrin.h:32