1 (* Test program for Virt_mem_mmap module. Not for general consumption. *)
8 let data = String.make 0x1000 '\001' in
9 let mem = add_string mem data 0x800L in
10 let data = String.make 0x1000 '\002' in
11 let mem = add_string mem data 0x1000L in
12 let data = String.make 0x1800 '\003' in
13 let mem = add_string mem data 0L in
18 printf "byte @ %Lx = %d\n" addr (get_byte mem addr)
19 with Invalid_argument "get_byte" ->
20 printf "byte @ %Lx = HOLE\n" addr
22 0x7ffL; 0x800L; 0x801L;
23 0xfffL; 0x1000L; 0x1001L;
24 0x17ffL; 0x1800L; 0x1801L;
25 0x1fffL; 0x2000L; 0x2001L ]