Added typed_addr type.
authorRichard W.M. Jones <rjones@redhat.com>
Wed, 6 Aug 2008 17:02:32 +0000 (18:02 +0100)
committerRichard W.M. Jones <rjones@redhat.com>
Wed, 6 Aug 2008 17:02:32 +0000 (18:02 +0100)
commit07a7cdbdb7c9d2c066ae9fc81bfbf10c942f9ead
tree363a91cc3488adbc51839eee3d57d29b460b11fb
parent8c4cd0bcf872107676d2798f3f8ffa53c7556152
Added typed_addr type.
lib/virt_mem_mmap.ml
lib/virt_mem_mmap.mli