11 #error "Never use <pkuintrin.h> directly; include <immintrin.h> instead." 18 #define __DEFAULT_FN_ATTRS __attribute__((__always_inline__, __nodebug__, __target__("pku"))) 23 return __builtin_ia32_rdpkru();
29 __builtin_ia32_wrpkru(__val);
32 #undef __DEFAULT_FN_ATTRS #define __DEFAULT_FN_ATTRS
static __inline__ void __DEFAULT_FN_ATTRS _wrpkru(unsigned int __val)
static __inline__ unsigned int __DEFAULT_FN_ATTRS _rdpkru_u32(void)