>>> On 22.01.13 at 11:40, emdel <emdel@playhack.net> wrote:
> Hello everybody,
> just a quick question. According to the INTEL Manual the VMCS should be
> aligned
> to 4k-boundary page.
> During a debugging session of nested Xen Environment 4.2 i386 I''ve
observed
> an VMCS
> was not aligned but just started in the middle of the page, any hints for
> that?
Hardly - neither would that work, nor can I see where such an
allocation would be happening (they''re all being done through
alloc_xenheap_page() afaict).
Jan