Searched refs:DISPATCH_LEVEL (Results 1 – 4 of 4) sorted by relevance
30 __drv_maxIRQL(DISPATCH_LEVEL) in __drv_allocatesMem()60 __drv_maxIRQL(DISPATCH_LEVEL) in __drv_allocatesMem()76 __drv_maxIRQL(DISPATCH_LEVEL) in __drv_allocatesMem()100 __drv_maxIRQL(DISPATCH_LEVEL) in __drv_maxIRQL() argument114 __drv_maxIRQL(DISPATCH_LEVEL) in __drv_allocatesMem()124 __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()
92 NT_ASSERT(KeGetCurrentIrql() <= DISPATCH_LEVEL); in test()