Function munmap_raw 

pub unsafe fn munmap_raw(
    address: NonNull<u8>,
    length: usize,
) -> Result<(), Errno>

Libère un mapping par (adresse, longueur) brutes (munmap(2)) — descellement additif ADR-085 pour la face libc, qui gère la vie du mapping par (addr, len) (comme le C void *mmap/int munmap(void *, size_t)), et non par l’objet RAII Mapping. La couche 1 [air-memory] l’expose à la libc via son AirMemoryManager.

Safety

address/length doivent désigner une région (ou un sous-ensemble de pages alignées) effectivement mappée par l’appelant : munmap d’une région invalide rend au mieux EINVAL (adresse non alignée), mais munmap d’une région en cours d’usage déprogramme de la mémoire vive (comme le munmap C). C’est le contrat C.