@mcc That is also my understanding, and what I recall is also the implementation in various kernel sources (including Linux). mmap is not malloc, operates on independent pages, and munmap is not required to use only values returned by a previous mmap. You can even munmap pages which were present at process launch, and never explicitly mmap'd.