MAXIOMEM
iomem_ex = extent_create("iomem", 0x0, MAXIOMEM,
const uint64_t endext = MAXIOMEM + 1;
error = extent_alloc_subregion(XENMEM_EX, 0x100000000UL, MAXIOMEM,