|
@@ -631,10 +631,8 @@ static int __init pci_iommu_init(void)
|
|
|
printk(KERN_INFO "PCI-DMA: Disabling IOMMU.\n");
|
|
|
if (end_pfn > MAX_DMA32_PFN) {
|
|
|
printk(KERN_ERR "WARNING more than 4GB of memory "
|
|
|
- "but IOMMU not compiled in.\n"
|
|
|
- KERN_ERR "WARNING 32bit PCI may malfunction.\n"
|
|
|
- KERN_ERR "You might want to enable "
|
|
|
- "CONFIG_GART_IOMMU\n");
|
|
|
+ "but IOMMU not available.\n"
|
|
|
+ KERN_ERR "WARNING 32bit PCI may malfunction.\n");
|
|
|
}
|
|
|
return -1;
|
|
|
}
|