• Charlie Jacobsen's avatar
    EPT deallocation code in place (untested). · c9cb61a2
    Charlie Jacobsen authored
    vmx_free_ept
    -- frees all memory associated with extended
       page tables (paging structures and mapped
       physical mem)
    
    vmx_free_ept_dir_level
    -- frees all memory associated with an epte
       at a level in the hierarchy
    -- uses shallow recursion to make the code
       more readable
    
    Simple updates to some of the EPT macros.
    c9cb61a2
lcd-domains-arch.h 3.47 KB