pci, ACPI, iommu: Enhance pci_root to support DMAR device hotplug
[cascardo/linux.git] / arch / x86 / include / asm / local64.h
1 #include <asm-generic/local64.h>