That is mostly correct except the VMCS is per VCPU (not per-VM).

Regarding your other query, I believe you'd want to take a look at VBox/VMM/VMMAll/PGMAllBth.h and PGMAllGst.h (namely Walk, GetPage) for page traversals and lookups.

Regards,
Ram.


On 04/12/2013 09:09 AM, [email protected] wrote:
Any idea ?

    ----Messaggio originale----
    Da: [email protected]
    Data: 9-apr-2013 9.22
    A: <[email protected]>
    Ogg: R: Re: [vbox-dev] R: Re: I: EPT structures

    Just some question to understand how it works...

    If I understand correctly, it is in charge of VirtualBox code
    (running in VMX-root mode ?) the setup the VMCS area (4KB) for
    each VM instance. In each VMCS's area exists a field for the EPT
    pointer (basically the physical address in main memory of the
    first-level EPT paging structures)

    Now if that is correct, do you think it does exist other ways
    (including digging in the host system hosting virtualBox's
    process) to access & traverse those translation structures ?

    Thanks.

        ----Messaggio originale----
        Da: [email protected]
        Data: 8-apr-2013 18.50
        A: "[email protected]"<[email protected]>
        Cc: <[email protected]>
        Ogg: Re: [vbox-dev] R: Re: I: EPT structures

        If we find the need and time for it. In the meantime, we
        welcome patches :)

        Regards,
        Ram.

        On 04/08/2013 06:25 PM, [email protected] wrote:
        Is there a plan for it ?

            ----Messaggio originale----
            Da: [email protected]
            Data: 8-apr-2013 16.24
            A: <[email protected]>
            Ogg: Re: [vbox-dev] I: EPT structures

            The error message says it all - not implemented.

            Klaus

            On 06.04.2013 15:24, [email protected] wrote:
            > Any idea ?
            >
            > Thanks.
            >
            >     ----Messaggio originale----
            >     Da: [email protected]
            >     Data: 4-apr-2013 16.08
            >     A: <[email protected]>
            >     Ogg: EPT structures
            >
            >     Hi,
            >
            >     posting the following question on virtualbox forum
            a guy suggested
            >     to ask for it here...
            >
            >
            >     I'm trying to use the Debug command line
            (VirtualBox version 4.2.10)
            >     just to dig into some internals...
            >
            >     Does it exist a way to view the EPT page table used
            by the processor
            >     (core i5 in my system) when resolving a guest's
            virtual address into
            >     a host physical one ?
            >
            >     trying to do it:
            >
            >     VBoxDbg> dphh %0
            >     cr3=a93ea000 idx=0i66 Extended Page Tables
            >     EPT dumping is not yet implemented, sorry.
            >     not present
            >     dphh: error: DBGFR3PagingDumpEx: VERR_NOT_IMPLEMENTED
            >     VBoxDbg>
            >
            >     thanks,
            >     Carlo.
            >
            >
            >

            _______________________________________________
            vbox-dev mailing list
            [email protected]
            https://www.virtualbox.org/mailman/listinfo/vbox-dev




        _______________________________________________
        vbox-dev mailing list
        [email protected]
        https://www.virtualbox.org/mailman/listinfo/vbox-dev







_______________________________________________
vbox-dev mailing list
[email protected]
https://www.virtualbox.org/mailman/listinfo/vbox-dev

_______________________________________________
vbox-dev mailing list
[email protected]
https://www.virtualbox.org/mailman/listinfo/vbox-dev

Reply via email to