1*38fd1498Szrj /* Copyright (C) 2015-2018 Free Software Foundation, Inc.
2*38fd1498Szrj
3*38fd1498Szrj This file is part of GCC.
4*38fd1498Szrj
5*38fd1498Szrj GCC is free software; you can redistribute it and/or modify
6*38fd1498Szrj it under the terms of the GNU General Public License as published by
7*38fd1498Szrj the Free Software Foundation; either version 3, or (at your option)
8*38fd1498Szrj any later version.
9*38fd1498Szrj
10*38fd1498Szrj GCC is distributed in the hope that it will be useful,
11*38fd1498Szrj but WITHOUT ANY WARRANTY; without even the implied warranty of
12*38fd1498Szrj MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
13*38fd1498Szrj GNU General Public License for more details.
14*38fd1498Szrj
15*38fd1498Szrj Under Section 7 of GPL version 3, you are granted additional
16*38fd1498Szrj permissions described in the GCC Runtime Library Exception, version
17*38fd1498Szrj 3.1, as published by the Free Software Foundation.
18*38fd1498Szrj
19*38fd1498Szrj You should have received a copy of the GNU General Public License and
20*38fd1498Szrj a copy of the GCC Runtime Library Exception along with this program;
21*38fd1498Szrj see the files COPYING3 and COPYING.RUNTIME respectively. If not, see
22*38fd1498Szrj <http://www.gnu.org/licenses/>. */
23*38fd1498Szrj
24*38fd1498Szrj #if !defined _X86INTRIN_H_INCLUDED
25*38fd1498Szrj # error "Never use <pkuintrin.h> directly; include <x86intrin.h> instead."
26*38fd1498Szrj #endif
27*38fd1498Szrj
28*38fd1498Szrj #ifndef _PKUINTRIN_H_INCLUDED
29*38fd1498Szrj #define _PKUINTRIN_H_INCLUDED
30*38fd1498Szrj
31*38fd1498Szrj #ifndef __PKU__
32*38fd1498Szrj #pragma GCC push_options
33*38fd1498Szrj #pragma GCC target("pku")
34*38fd1498Szrj #define __DISABLE_PKU__
35*38fd1498Szrj #endif /* __PKU__ */
36*38fd1498Szrj
37*38fd1498Szrj extern __inline unsigned int
38*38fd1498Szrj __attribute__((__gnu_inline__, __always_inline__, __artificial__))
_rdpkru_u32(void)39*38fd1498Szrj _rdpkru_u32 (void)
40*38fd1498Szrj {
41*38fd1498Szrj return __builtin_ia32_rdpkru ();
42*38fd1498Szrj }
43*38fd1498Szrj
44*38fd1498Szrj extern __inline void
45*38fd1498Szrj __attribute__((__gnu_inline__, __always_inline__, __artificial__))
_wrpkru(unsigned int __key)46*38fd1498Szrj _wrpkru (unsigned int __key)
47*38fd1498Szrj {
48*38fd1498Szrj __builtin_ia32_wrpkru (__key);
49*38fd1498Szrj }
50*38fd1498Szrj
51*38fd1498Szrj #ifdef __DISABLE_PKU__
52*38fd1498Szrj #undef __DISABLE_PKU__
53*38fd1498Szrj #pragma GCC pop_options
54*38fd1498Szrj #endif /* __DISABLE_PKU__ */
55*38fd1498Szrj
56*38fd1498Szrj #endif /* _PKUINTRIN_H_INCLUDED */
57