currently, iommu gas could not allocate a guest VA.
setting domain->end to BUS_SPACE_MAXADDR resolve the issue, but the hardware does not fully support BUS_SPACE_MAXADDR range.
So we are currently trying to limit space to 48 or 52 bit based on hardware capabilities, but iommu_gas could not allocate space in that case too