Revised Virt_mem_mmap handling overlapping mappings efficiently.
authorRichard W.M. Jones <rjones@redhat.com>
Tue, 22 Jul 2008 16:02:19 +0000 (17:02 +0100)
committerRichard W.M. Jones <rjones@redhat.com>
Tue, 22 Jul 2008 16:02:19 +0000 (17:02 +0100)
commitc67e17c4ca67b1a53d16394b8f3218665c19642c
treeaba95e1da6bc6e3e6191a306329c3d2844f4c873
parente3b79ee907537feec9274b1bfab7e450fc97dbcf
Revised Virt_mem_mmap handling overlapping mappings efficiently.
lib/.depend
lib/Makefile.in
lib/test_mmap.ml [new file with mode: 0644]
lib/virt_mem.mli
lib/virt_mem_mmap.ml
lib/virt_mem_mmap.mli
lib/virt_mem_utils.ml