quick question in host-linux.c

[Kevin P. Lawton]

In alloc_vm_pages(), for the pages allocated for ad->guest,
vmalloc() is used, then retrieve_vm_pages() to get the
physical pages addresses, then mem_map_reserve(), so the
swapper doesn't make these eligible.

Some other structures which need multiple pages, such
as the IDT, GDT, LDT, and IDT stubs also use this
same calling sequence except don't use mem_map_reserve().

Is this right?

-Kevin