remove_dmar       610 drivers/acpi/pci_root.c 		goto remove_dmar;
remove_dmar       640 drivers/acpi/pci_root.c remove_dmar: