maddr_t
HYPERVISOR_update_descriptor(maddr_t ma, uint64_t desc)
maddr_t rmaddr;
maddr_t rmaddr;
#define FRAME_TO_MA(f) ((maddr_t)(f) << PAGESHIFT)
ma_to_pa(maddr_t ma)
maddr_t
maddr_t mtable = pa_to_ma(table);
map_ma_at_va(maddr_t ma, native_ptr_t va, uint_t level)
kbm_map_ma(maddr_t ma, uintptr_t va, uint_t level)
typedef maddr_t rootnex_addr_t;
extern void kbm_map_ma(maddr_t ma, uintptr_t va, uint_t level);
maddr_t base_ma;
maddr_t ma;
maddr_t ma;
kbm_map_ma(maddr_t ma, uintptr_t va, uint_t level)
extern void kbm_map_ma(maddr_t ma, uintptr_t va, uint_t level);
maddr_t mtable = pa_to_ma(table);
maddr_t mach_addr;
maddr_t
ma_to_pa(maddr_t ma)
#define mfn_to_ma(mfn) ((maddr_t)(mfn) << MMU_PAGESHIFT)
paddr_t ma_to_pa(maddr_t);
maddr_t pa_to_ma(paddr_t);
extern long HYPERVISOR_update_descriptor(maddr_t, uint64_t);