|
@@ -40,6 +40,7 @@
|
|
|
#include <linux/fs.h>
|
|
|
#include <linux/proc_fs.h>
|
|
|
#include <linux/memblock.h>
|
|
|
+#include <linux/of_iommu.h>
|
|
|
#include <linux/of_fdt.h>
|
|
|
#include <linux/of_platform.h>
|
|
|
#include <linux/efi.h>
|
|
@@ -405,6 +406,7 @@ void __init setup_arch(char **cmdline_p)
|
|
|
|
|
|
static int __init arm64_device_init(void)
|
|
|
{
|
|
|
+ of_iommu_init();
|
|
|
of_platform_populate(NULL, of_default_bus_match_table, NULL, NULL);
|
|
|
return 0;
|
|
|
}
|