Charlie Jacobsen authored Jun 16, 2014 and Vikram Narayanan committed Oct 25, 2016

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.