Author: Julia Lawall <Julia.Lawall@lip6.fr> This mmu_notifier_ops structure is never modified, so declare it as const, like the other mmu_notifier_ops structures. Done with the help of Coccinelle. Signed-off-by: Julia Lawall Signed-off-by: David Vrabel — drivers/xen/gntdev.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff –git a/drivers/xen/gntdev.c b/drivers/xen/gntdev.c index 1be5dd0..cbd3836 100644 — a/drivers/xen/gntdev.c +++ …