[DRIVERS] Fix 64 bit issues

[reactos.git] / drivers / network / tcpip / include / debug.h

diff --git a/drivers/network/tcpip/include/debug.h b/drivers/network/tcpip/include/debug.h
index 303d66a..4411c59 100644 (file)
--- a/drivers/network/tcpip/include/debug.h
+++ b/drivers/network/tcpip/include/debug.h
@@ -72,7 +72,7 @@
 #define CP CHECKPOINT
 
 #define ASSERT_KM_POINTER(_x) \
-   ASSERT(((PVOID)_x) != (PVOID)0xcccccccc); \
-   ASSERT(((PVOID)_x) >= (PVOID)0x80000000);
+   ASSERT(((ULONG_PTR)(_x)) != (ULONG_PTR)0xccccccccccccccccULL); \
+   ASSERT(((PVOID)(_x)) >= MmSystemRangeStart);
 
 /* EOF */