return access;
}
+static int FNAME(read_gpte)(pt_element_t *pte, pt_element_t __user *ptep_user)
+{
+#if defined(CONFIG_X86_32) && (PTTYPE == 64)
+ u32 *p = (u32 *)pte;
+ u32 __user *p_user = (u32 __user *)ptep_user;
+
+ if (unlikely(get_user(*p, p_user)))
+ return -EFAULT;
+ return get_user(*(p + 1), p_user + 1);
+#else
+ return get_user(*pte, ptep_user);
+#endif
+}
+
/*
* Fetch a guest pte for a guest virtual address
*/
}
ptep_user = (pt_element_t __user *)((void *)host_addr + offset);
- if (unlikely(get_user(pte, ptep_user))) {
+ if (unlikely(FNAME(read_gpte)(&pte, ptep_user))) {
present = false;
break;
}