On Thu, Jun 9, 2011 at 1:27 AM, David Brown <davidb@xxxxxxxxxxxxxx> wrote: > Moving the driver is good. I'm wondering what we should do with > iommu_dev.c, though. Wouldn't it make sense to move this file as well? Yeah, it does make sense. I'll move that one too, thanks. -- To unsubscribe from this list: send the line "unsubscribe linux-pci" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html