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