VM_PKEY_BIT4
((vm_flags & VM_PKEY_BIT4) ? H_PTE_PKEY_BIT4 : 0x0UL));
VM_PKEY_BIT3 | VM_PKEY_BIT4)
[ilog2(VM_PKEY_BIT4)] = "",