PTE2_X
l2_prot |= (prot & VM_PROT_EXECUTE) ? PTE2_X : PTE2_NX;
l2prot |= (prot & VM_PROT_EXECUTE) ? PTE2_X : PTE2_NX;