summaryrefslogtreecommitdiff
path: root/mmu-notifier.spatch
diff options
context:
space:
mode:
Diffstat (limited to 'mmu-notifier.spatch')
-rw-r--r--mmu-notifier.spatch57
1 files changed, 57 insertions, 0 deletions
diff --git a/mmu-notifier.spatch b/mmu-notifier.spatch
new file mode 100644
index 000000000000..3bf594f89c5b
--- /dev/null
+++ b/mmu-notifier.spatch
@@ -0,0 +1,57 @@
+@@
+identifier I1, I2, I3, I4;
+@@
+static inline void mmu_notifier_range_init(struct mmu_notifier_range *I1,
++enum mmu_notifier_event event,
++unsigned flags,
++struct vm_area_struct *vma,
+struct mm_struct *I2, unsigned long I3, unsigned long I4) { ... }
+
+@@
+@@
+-#define mmu_notifier_range_init(range, mm, start, end)
++#define mmu_notifier_range_init(range, event, flags, vma, mm, start, end)
+
+@@
+expression E1, E3, E4;
+identifier I1;
+@@
+<...
+mmu_notifier_range_init(E1,
++MMU_NOTIFY_UNMAP, 0, I1,
+I1->vm_mm, E3, E4)
+...>
+
+@@
+expression E1, E2, E3, E4;
+identifier FN, VMA;
+@@
+FN(..., struct vm_area_struct *VMA, ...) {
+<...
+mmu_notifier_range_init(E1,
++MMU_NOTIFY_UNMAP, 0, VMA,
+E2, E3, E4)
+...> }
+
+@@
+expression E1, E2, E3, E4;
+identifier FN, VMA;
+@@
+FN(...) {
+struct vm_area_struct *VMA;
+<...
+mmu_notifier_range_init(E1,
++MMU_NOTIFY_UNMAP, 0, VMA,
+E2, E3, E4)
+...> }
+
+@@
+expression E1, E2, E3, E4;
+identifier FN;
+@@
+FN(...) {
+<...
+mmu_notifier_range_init(E1,
++MMU_NOTIFY_UNMAP, 0, NULL,
+E2, E3, E4)
+...> }