From b0dfe20981065793244a2b8bb6787b441098e715 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?J=C3=A9r=C3=B4me=20Gardou?= <jerome.gardou@reactos.org>
Date: Fri, 30 Jul 2021 18:54:30 +0200
Subject: [PATCH] [NTOS:MM] Fix MiIsUserPte inline

---
 ntoskrnl/mm/ARM3/miarm.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ntoskrnl/mm/ARM3/miarm.h b/ntoskrnl/mm/ARM3/miarm.h
index 6d2f2753bb5..b5fd1de3409 100644
--- a/ntoskrnl/mm/ARM3/miarm.h
+++ b/ntoskrnl/mm/ARM3/miarm.h
@@ -729,7 +729,7 @@ FORCEINLINE
 BOOLEAN
 MiIsUserPte(PVOID Address)
 {
-    return (Address <= (PVOID)MiHighestUserPte);
+    return (Address >= (PVOID)PTE_BASE) && (Address <= (PVOID)MiHighestUserPte);
 }
 #endif