FHC_MEMLOC_SHIFT
uint_t ipa = pa >> FHC_MEMLOC_SHIFT;
return ((uint64_t)base_pa << FHC_MEMLOC_SHIFT);
#define FHC_MEMLOC_MAX (0x10000000000ull >> FHC_MEMLOC_SHIFT)