HomeIsabelle/Phabricator

Use O_TMPFILE on Linux to create the temporary file for mapping. Saves having…

Description

Use O_TMPFILE on Linux to create the temporary file for mapping. Saves having to unlink the file.

Details

Provenance
dcjmAuthored on Aug 6 2020, 5:17 PM
Parents
rPOLYML9fd706535dad: Add MAP_STACK in 32-in-64 for OpenBSD.
Branches
Unknown
Tags
Unknown