1 /* SPDX-License-Identifier: GPL-2.0 */
2 #ifndef _ASM_POWERPC_BOOK3S_64_HASH_PKEY_H
3 #define _ASM_POWERPC_BOOK3S_64_HASH_PKEY_H
4 
5 static inline u64 hash__vmflag_to_pte_pkey_bits(u64 vm_flags)
6 {
7 	return (((vm_flags & VM_PKEY_BIT0) ? H_PTE_PKEY_BIT0 : 0x0UL) |
8 		((vm_flags & VM_PKEY_BIT1) ? H_PTE_PKEY_BIT1 : 0x0UL) |
9 		((vm_flags & VM_PKEY_BIT2) ? H_PTE_PKEY_BIT2 : 0x0UL) |
10 		((vm_flags & VM_PKEY_BIT3) ? H_PTE_PKEY_BIT3 : 0x0UL) |
11 		((vm_flags & VM_PKEY_BIT4) ? H_PTE_PKEY_BIT4 : 0x0UL));
12 }
13 
14 static inline u64 pte_to_hpte_pkey_bits(u64 pteflags)
15 {
16 	return (((pteflags & H_PTE_PKEY_BIT4) ? HPTE_R_KEY_BIT4 : 0x0UL) |
17 		((pteflags & H_PTE_PKEY_BIT3) ? HPTE_R_KEY_BIT3 : 0x0UL) |
18 		((pteflags & H_PTE_PKEY_BIT2) ? HPTE_R_KEY_BIT2 : 0x0UL) |
19 		((pteflags & H_PTE_PKEY_BIT1) ? HPTE_R_KEY_BIT1 : 0x0UL) |
20 		((pteflags & H_PTE_PKEY_BIT0) ? HPTE_R_KEY_BIT0 : 0x0UL));
21 }
22 
23 static inline u16 hash__pte_to_pkey_bits(u64 pteflags)
24 {
25 	return (((pteflags & H_PTE_PKEY_BIT4) ? 0x10 : 0x0UL) |
26 		((pteflags & H_PTE_PKEY_BIT3) ? 0x8 : 0x0UL) |
27 		((pteflags & H_PTE_PKEY_BIT2) ? 0x4 : 0x0UL) |
28 		((pteflags & H_PTE_PKEY_BIT1) ? 0x2 : 0x0UL) |
29 		((pteflags & H_PTE_PKEY_BIT0) ? 0x1 : 0x0UL));
30 }
31 
32 #endif
33