1 /* SPDX-License-Identifier: GPL-2.0 */
8 #ifndef SYS_mprotect_key
9 # define SYS_mprotect_key 380
12 #ifndef SYS_pkey_alloc
13 # define SYS_pkey_alloc 381
14 # define SYS_pkey_free 382
17 #define REG_IP_IDX REG_EIP
18 #define si_pkey_offset 0x14
22 #ifndef SYS_mprotect_key
23 # define SYS_mprotect_key 329
26 #ifndef SYS_pkey_alloc
27 # define SYS_pkey_alloc 330
28 # define SYS_pkey_free 331
31 #define REG_IP_IDX REG_RIP
32 #define si_pkey_offset 0x20
36 #ifndef PKEY_DISABLE_ACCESS
37 # define PKEY_DISABLE_ACCESS 0x1
40 #ifndef PKEY_DISABLE_WRITE
41 # define PKEY_DISABLE_WRITE 0x2
45 #define NR_RESERVED_PKEYS 2 /* pkey-0 and exec-only-pkey */
46 #define PKEY_BITS_PER_PKEY 2
47 #define HPAGE_SIZE (1UL<<21)
48 #define PAGE_SIZE 4096
51 static inline void __page_o_noops(void)
53 /* 8-bytes of instruction * 512 bytes = 1 page */
54 asm(".rept 512 ; nopl 0x7eeeeeee(%eax) ; .endr");
57 static inline u64
__read_pkey_reg(void)
59 unsigned int eax
, edx
;
63 asm volatile(".byte 0x0f,0x01,0xee\n\t"
64 : "=a" (eax
), "=d" (edx
)
70 static inline void __write_pkey_reg(u64 pkey_reg
)
72 unsigned int eax
= pkey_reg
;
76 dprintf4("%s() changing %016llx to %016llx\n", __func__
,
77 __read_pkey_reg(), pkey_reg
);
78 asm volatile(".byte 0x0f,0x01,0xef\n\t"
79 : : "a" (eax
), "c" (ecx
), "d" (edx
));
80 assert(pkey_reg
== __read_pkey_reg());
83 static inline void __cpuid(unsigned int *eax
, unsigned int *ebx
,
84 unsigned int *ecx
, unsigned int *edx
)
86 /* ecx is often an input as well as an output. */
93 : "0" (*eax
), "2" (*ecx
));
96 /* Intel-defined CPU features, CPUID level 0x00000007:0 (ecx) */
97 #define X86_FEATURE_PKU (1<<3) /* Protection Keys for Userspace */
98 #define X86_FEATURE_OSPKE (1<<4) /* OS Protection Keys Enable */
100 static inline int cpu_has_pkeys(void)
109 __cpuid(&eax
, &ebx
, &ecx
, &edx
);
111 if (!(ecx
& X86_FEATURE_PKU
)) {
112 dprintf2("cpu does not have PKU\n");
115 if (!(ecx
& X86_FEATURE_OSPKE
)) {
116 dprintf2("cpu does not have OSPKE\n");
122 static inline u32
pkey_bit_position(int pkey
)
124 return pkey
* PKEY_BITS_PER_PKEY
;
127 #define XSTATE_PKEY_BIT (9)
128 #define XSTATE_PKEY 0x200
130 int pkey_reg_xstate_offset(void)
138 unsigned long XSTATE_CPUID
= 0xd;
141 /* assume that XSTATE_PKEY is set in XCR0 */
142 leaf
= XSTATE_PKEY_BIT
;
146 __cpuid(&eax
, &ebx
, &ecx
, &edx
);
148 if (leaf
== XSTATE_PKEY_BIT
) {
154 if (xstate_size
== 0) {
155 printf("could not find size/offset of PKEY in xsave state\n");
159 return xstate_offset
;
162 static inline int get_arch_reserved_keys(void)
164 return NR_RESERVED_PKEYS
;
167 void expect_fault_on_read_execonly_key(void *p1
, int pkey
)
171 ptr_contents
= read_ptr(p1
);
172 dprintf2("ptr (%p) contents@%d: %x\n", p1
, __LINE__
, ptr_contents
);
173 expected_pkey_fault(pkey
);
176 void *malloc_pkey_with_mprotect_subpage(long size
, int prot
, u16 pkey
)
178 return PTR_ERR_ENOTSUP
;
181 #endif /* _PKEYS_X86_H */