# CONFIG_SWIOTLB is not set