|
@@ -18,6 +18,7 @@
|
|
|
#include <linux/bootmem.h>
|
|
|
#include <linux/seq_file.h>
|
|
|
#include <linux/screen_info.h>
|
|
|
+#include <linux/of_iommu.h>
|
|
|
#include <linux/of_platform.h>
|
|
|
#include <linux/init.h>
|
|
|
#include <linux/kexec.h>
|
|
@@ -806,6 +807,7 @@ static int __init customize_machine(void)
|
|
|
* machine from the device tree, if no callback is provided,
|
|
|
* otherwise we would always need an init_machine callback.
|
|
|
*/
|
|
|
+ of_iommu_init();
|
|
|
if (machine_desc->init_machine)
|
|
|
machine_desc->init_machine();
|
|
|
#ifdef CONFIG_OF
|