--- arch/x86/kernel/crash.c

+++ arch/x86/kernel/crash.c

@@ -27,7 +27,6 @@

#include <asm/cpu.h>

#include <asm/reboot.h>

#include <asm/virtext.h>

-#include <asm/iommu.h>

#if defined(CONFIG_SMP) && defined(CONFIG_X86_LOCAL_APIC)

@@ -104,10 +103,5 @@ void native_machine_crash_shutdown(struc

#ifdef CONFIG_HPET_TIMER

hpet_disable();

#endif

-

-#ifdef CONFIG_X86_64

- pci_iommu_shutdown();

-#endif

-

crash_save_cpu(regs, safe_smp_processor_id());

}