753def linuxOpenProfileFlags =
754 (lambda unrestricted profile : (family LinuxOpenProfile) .
755 (eliminate
756 LinuxOpenProfile
757 (lambda unrestricted current : (family LinuxOpenProfile) . (family ModelWord64))
758 profile
759 (branch LinuxOpenCheckpointExclusive . linuxOpenExclusiveFlags)
760 (branch LinuxOpenReadOnlyNoFollow . linuxOpenReadOnlyFlags)
761 (branch LinuxOpenDirectoryNoFollow . linuxOpenDirectoryFlags)
762 (branch LinuxOpenDeviceReadWrite . linuxOpenReadWriteCloseOnExecFlags)))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.