diff --git a/drivers/network/ndis/ndis/time.c b/drivers/network/ndis/ndis/time.c
index f1fe891638a..28b66f443d3 100644
--- a/drivers/network/ndis/ndis/time.c
+++ b/drivers/network/ndis/ndis/time.c
@@ -57,10 +57,9 @@ NdisGetCurrentSystemTime (
  * ARGUMENTS:
  *     pSystemTime: pointer to the returned system time
  * NOTES:
- *     - call at IRQL <= DISPATCH_LEVEL
+ *     - call at any IRQL
  */
 {
-  ASSERT_IRQL(DISPATCH_LEVEL);
   ASSERT(pSystemTime);
 
   KeQuerySystemTime (pSystemTime);