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)