Don't corrupt terminal if the first symbol contains non-ASCII chars.

diff --git a/lib/virt_mem_ksyms.ml b/lib/virt_mem_ksyms.ml
index 4389983..0c4daf7 100644 (file)
--- a/lib/virt_mem_ksyms.ml
+++ b/lib/virt_mem_ksyms.ml
@@ -131,7 +131,7 @@ let find_kernel_symbols debug ({ mem = mem; domname = domname } as image) =
     List.iter (
       fun (addr, size) ->
        eprintf "\t%Lx\t%Lx\t%!" addr size;
-       eprintf "first symbol: %s\n%!"
+       eprintf "first symbol: %S\n%!"
          (Virt_mem_mmap.get_string mem
             (Virt_mem_mmap.follow_pointer mem
                (Virt_mem_mmap.succ_long mem addr)))