• Charlie Jacobsen's avatar
    Finished arch-dep ept code. · 8f65d678
    Charlie Jacobsen authored
    lcd_arch_epte_t type for arch abstraction.
    
    lcd_arch_ept_walk
    -- simple lookup of ept entry
    -- optionally allocate ept data structures
       along the way
    
    lcd_arch_ept_set
    -- set the host physical address in the
       (final level) ept entry, along with
       default flags
    
    lcd_arch_ept_hpa
    -- returns host physical address stored in
       an ept entry
    
    Remaining old code will be put in arch-indep
    code.
    8f65d678
lcd-domains-arch.h 3.42 KB