Seems no special reason for keeping page_array, free it to avoid memroy leak in Qemu. Signed-off-by : Zhang xiantao diff -r 561df7d9cecc tools/ioemu/vl.c --- a/tools/ioemu/vl.c Wed Aug 02 15:09:56 2006 -0600 +++ b/tools/ioemu/vl.c Thu Aug 03 17:21:47 2006 +0800 @@ -5804,6 +5804,9 @@ int main(int argc, char **argv) fprintf(logfile, "shared page at pfn:%lx, mfn: %016lx\n", IO_PAGE_START >> PAGE_SHIFT, page_array[0]); #endif + + free(page_array); + #else /* !CONFIG_DM */ #ifdef CONFIG_SOFTMMU