diff --git a/reactos/drivers/net/ndis/ndis/time.c b/reactos/drivers/net/ndis/ndis/time.c
index 175680b455a..60d93fad60f 100644
--- a/reactos/drivers/net/ndis/ndis/time.c
+++ b/reactos/drivers/net/ndis/ndis/time.c
@@ -15,8 +15,6 @@
  *       validation to assist in the effort to get third-party binaries
  *       working.  It is easiest to track bugs when things break quickly
  *       and badly.
- *     - Nearly this entire file is PAGED_CODE (with the exception of the
- *       MiniportTimerDpc() function)
  */
 
 #include "ndissys.h"
@@ -66,7 +64,7 @@ NdisCancelTimer(
  *     - call at IRQL <= DISPATCH_LEVEL
  */
 {
-  PAGED_CODE();
+  ASSERT_IRQL(DISPATCH_LEVEL);
   ASSERT(Timer);
 
   *TimerCancelled = KeCancelTimer (&Timer->Timer);
@@ -88,7 +86,7 @@ NdisGetCurrentSystemTime (
  *     - call at IRQL <= DISPATCH_LEVEL
  */
 {
-  PAGED_CODE();
+  ASSERT_IRQL(DISPATCH_LEVEL);
   ASSERT(pSystemTime);
 
   KeQuerySystemTime (pSystemTime);
@@ -141,7 +139,7 @@ NdisMCancelTimer(
  *     - call at IRQL <= DISPATCH_LEVEL
  */
 {
-  PAGED_CODE();
+  ASSERT_IRQL(DISPATCH_LEVEL);
   ASSERT(TimerCancelled);
   ASSERT(Timer);
 
@@ -198,12 +196,12 @@ NdisMSetPeriodicTimer(
  *     MillisecondsPeriod: period of the timer
  * NOTES:
  *     - Minimum predictible interval is ~10ms
- *     - Must be called at IRQL <= DISPATCH_LEVEL)
+ *     - Must be called at IRQL <= DISPATCH_LEVEL
  */
 {
   LARGE_INTEGER Timeout;
 
-  PAGED_CODE();
+  ASSERT_IRQL(DISPATCH_LEVEL);
   ASSERT(Timer);
 
   /* relative delays are negative, absolute are positive; resolution is 100ns */
@@ -228,12 +226,12 @@ NdisMSetTimer(
  *     MillisecondsToDelay: time to wait for the timer to expire
  * NOTES:
  *     - Minimum predictible interval is ~10ms
- *     - Must be called at IRQL <= DISPATCH_LEVEL)
+ *     - Must be called at IRQL <= DISPATCH_LEVEL
  */
 {
   LARGE_INTEGER Timeout;
 
-  PAGED_CODE();
+  ASSERT_IRQL(DISPATCH_LEVEL);
   ASSERT(Timer);
 
   /* relative delays are negative, absolute are positive; resolution is 100ns */
@@ -258,12 +256,12 @@ NdisSetTimer(
  *     MillisecondsToDelay: time to wait for the timer to expire
  * NOTES:
  *     - Minimum predictible interval is ~10ms
- *     - Must be called at IRQL <= DISPATCH_LEVEL)
+ *     - Must be called at IRQL <= DISPATCH_LEVEL
  */
 {
   LARGE_INTEGER Timeout;
 
-  PAGED_CODE();
+  ASSERT_IRQL(DISPATCH_LEVEL);
   ASSERT(Timer);
 
   /* relative delays are negative, absolute are positive; resolution is 100ns */