Searched refs:DISPATCH_LEVEL (Results 1 – 4 of 4) sorted by relevance
31 __drv_maxIRQL(DISPATCH_LEVEL) in __drv_allocatesMem()61 __drv_maxIRQL(DISPATCH_LEVEL) in __drv_allocatesMem()77 __drv_maxIRQL(DISPATCH_LEVEL) in __drv_allocatesMem()101 __drv_maxIRQL(DISPATCH_LEVEL) in __drv_maxIRQL() argument115 __drv_maxIRQL(DISPATCH_LEVEL) in __drv_allocatesMem()125 __drv_maxIRQL(DISPATCH_LEVEL) in __drv_maxIRQL() argument
13 __drv_maxIRQL(DISPATCH_LEVEL)21 __drv_maxIRQL(DISPATCH_LEVEL)29 __drv_maxIRQL(DISPATCH_LEVEL)35 __drv_maxIRQL(DISPATCH_LEVEL)
54 NT_ASSERT(KeGetCurrentIrql() <= DISPATCH_LEVEL); in cs_driver_hello()
102 NT_ASSERT(KeGetCurrentIrql() <= DISPATCH_LEVEL); in test()