Il 12/08/2013 20:56, Michael S. Tsirkin ha scritto: >> > Similarly, what you're trying to do here doesn't require >> > that the guest sees any specific host pointer, so you should >> > just use memory_region_init_ram(). > I was concerned that we are wasting resources here. > In particular, huge page memory might get allocated > and there's no need for it as it's never mapped > into guest.
You are also right, but I think this issue should be fixed separately (e.g. only use huge pages for main RAM). Paolo
