--- zzzz-none-000/linux-3.10.107/drivers/iommu/shmobile-ipmmu.h	2017-06-27 09:49:32.000000000 +0000
+++ vr9-7490-729/linux-3.10.107/drivers/iommu/shmobile-ipmmu.h	2021-11-10 11:53:55.000000000 +0000
@@ -14,7 +14,7 @@
 	struct device *dev;
 	void __iomem *ipmmu_base;
 	int tlb_enabled;
-	struct mutex flush_lock;
+	spinlock_t flush_lock;
 	const char * const *dev_names;
 	unsigned int num_dev_names;
 };