764def linuxOpenProfileMode =
765 (lambda unrestricted profile : (family LinuxOpenProfile) .
766 (eliminate
767 LinuxOpenProfile
768 (lambda unrestricted current : (family LinuxOpenProfile) . (family ModelWord64))
769 profile
770 (branch LinuxOpenCheckpointExclusive . linuxOwnerReadWriteMode)
771 (branch LinuxOpenReadOnlyNoFollow . linuxZeroWord64)
772 (branch LinuxOpenDirectoryNoFollow . linuxZeroWord64)
773 (branch LinuxOpenDeviceReadWrite . linuxZeroWord64)))The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.