X86_64_PTE_WRITABLE
page |= X86_64_PTE_WRITABLE;
page |= X86_64_PTE_WRITABLE;
*_flags |= ((entry & X86_64_PTE_WRITABLE) != 0 ? B_WRITE_AREA : 0)
*_flags |= ((entry & X86_64_PTE_WRITABLE) != 0 ? B_KERNEL_WRITE_AREA : 0)
newProtectionFlags |= X86_64_PTE_WRITABLE;
newProtectionFlags = X86_64_PTE_WRITABLE;
| X86_64_PTE_WRITABLE \