del_dma_domain     21 arch/x86/include/asm/device.h void del_dma_domain(struct dma_domain *domain);
del_dma_domain    646 arch/x86/pci/common.c EXPORT_SYMBOL_GPL(del_dma_domain);
del_dma_domain    405 drivers/pci/controller/vmd.c 		del_dma_domain(domain);