
< 	pte_t ptent = ptep_get(pte);
---
> 	pte_t ptent;
> 	if (get_user_pages_fast(addr, 1, 1, NULL) <= 0) {
> 		return;
> 	}
> 	ptent = ptep_get(pte);
