H_PTE_PKEY_BIT4
((vm_flags & VM_PKEY_BIT4) ? H_PTE_PKEY_BIT4 : 0x0UL));
pte_pkey = (((pteflags & H_PTE_PKEY_BIT4) ? HPTE_R_KEY_BIT4 : 0x0UL) |
return (((pteflags & H_PTE_PKEY_BIT4) ? 0x10 : 0x0UL) |