diff --git a/drivers/xen/gntdev.c b/drivers/xen/gntdev.c
index cdc28dc..d43ff30 100644
--- a/drivers/xen/gntdev.c
+++ b/drivers/xen/gntdev.c
@@ -298,8 +298,8 @@
 	if (map->notify.flags & UNMAP_NOTIFY_CLEAR_BYTE) {
 		int pgno = (map->notify.addr >> PAGE_SHIFT);
 		if (pgno >= offset && pgno < offset + pages && use_ptemod) {
-			void __user *tmp;
-			tmp = map->vma->vm_start + map->notify.addr;
+			void __user *tmp = (void __user *)
+				map->vma->vm_start + map->notify.addr;
 			err = copy_to_user(tmp, &err, 1);
 			if (err)
 				return err;