DRVPFX
printk(KERN_INFO DRVPFX "IO PDIR shared with sba_iommu\n");
printk(KERN_ERR DRVPFX "Invalid IOTLB page size "
printk(KERN_ERR DRVPFX "No reserved IO PDIR entry found; "
printk(KERN_ERR DRVPFX "Invalid capability ID 0x%02x at 0x%x\n",
printk(KERN_INFO DRVPFX "No Pluto found, so no AGPGART for you.\n");
printk(KERN_INFO DRVPFX "No AGP devices found.\n");