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
5static 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
14static 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
23static 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