default_swiotlb_limit
return xen_phys_to_dma(hwdev, default_swiotlb_limit()) <= mask;
phys_addr_t default_swiotlb_limit(void);