H_PTE_PKEY_BIT0
return (((vm_flags & VM_PKEY_BIT0) ? H_PTE_PKEY_BIT0 : 0x0UL) |
((pteflags & H_PTE_PKEY_BIT0) ? HPTE_R_KEY_BIT0 : 0x0UL));
((pteflags & H_PTE_PKEY_BIT0) ? 0x1 : 0x0UL));