XENMEM_EX
error = extent_alloc_subregion(XENMEM_EX, 0x100000000UL, MAXIOMEM,
error = extent_alloc(XENMEM_EX, size, align, 0,
error = extent_free(XENMEM_EX, start, size, EX_NOWAIT);