Symbol: maddr_t
usr/src/uts/i86pc/dboot/dboot_startkern.c
477
#define maddr_t paddr_t
usr/src/uts/i86xpv/sys/xen_mmu.h
45
typedef uint64_t maddr_t;