/reactos/sdk/lib/drivers/wdf/shared/irphandlers/io/ |
H A D | fxioqueueapi.cpp | 392 __drv_when(Context != 0, __in) in __drv_maxIRQL() 393 __drv_when(Context == 0, __in_opt) in __drv_maxIRQL() 395 __drv_when(StopComplete != 0, __in) in __drv_maxIRQL() 501 __drv_when(Context != 0, __in) in __drv_maxIRQL() 502 __drv_when(Context == 0, __in_opt) in __drv_maxIRQL() 1085 __drv_when(Context != 0, __in) in __drv_maxIRQL() 1086 __drv_when(Context == 0, __in_opt) in __drv_maxIRQL() 1088 __drv_when(DrainComplete != 0, __in) in __drv_maxIRQL() 1232 __drv_when(Context != 0, __in) in __drv_maxIRQL() 1233 __drv_when(Context == 0, __in_opt) in __drv_maxIRQL() [all …]
|
/reactos/sdk/lib/drivers/wdf/shared/inc/private/common/ |
H A D | fxwmiinstance.hpp | 149 __drv_when(InBufferSize >= OutBufferSize, __inout_bcount(InBufferSize)) 150 __drv_when(InBufferSize < OutBufferSize, __inout_bcount(OutBufferSize)) 342 __drv_when(InBufferSize >= OutBufferSize, __inout_bcount(InBufferSize)) in __drv_maxIRQL() 343 __drv_when(InBufferSize < OutBufferSize, __inout_bcount(OutBufferSize)) in __drv_maxIRQL() 464 __drv_when(InBufferSize >= OutBufferSize, __inout_bcount(InBufferSize)) 465 __drv_when(InBufferSize < OutBufferSize, __inout_bcount(OutBufferSize)) 536 __drv_when(InBufferSize >= OutBufferSize, __inout_bcount(InBufferSize)) 537 __drv_when(InBufferSize < OutBufferSize, __inout_bcount(OutBufferSize)) 646 __drv_when(InBufferSize >= OutBufferSize, __inout_bcount(InBufferSize)) 647 __drv_when(InBufferSize < OutBufferSize, __inout_bcount(OutBufferSize))
|
H A D | fxwaitlock.hpp | 99 __drv_when(Timeout == NULL, __drv_valueIs(==0)) 100 __drv_when(Timeout != NULL, __drv_valueIs(==0;==258)) 101 __drv_when(Timeout != NULL, _Must_inspect_result_) 244 __drv_when(Timeout == NULL, __drv_valueIs(==0)) 245 __drv_when(Timeout != NULL, __drv_valueIs(==0;==258)) 246 __drv_when(Timeout != NULL, _Must_inspect_result_)
|
H A D | fxusbdevice.hpp | 433 __drv_when(CapabilityBufferLength == 0, __out_opt) 434 …__drv_when(CapabilityBufferLength != 0 && ResultLength == NULL, __out_bcount(CapabilityBufferLengt… 435 …__drv_when(CapabilityBufferLength != 0 && ResultLength != NULL, __out_bcount_part_opt(CapabilityBu… 438 __drv_when(ResultLength != NULL,__deref_out_range(<=,CapabilityBufferLength))
|
/reactos/sdk/lib/drivers/wdf/shared/support/ |
H A D | fxwaitlockapi.cpp | 95 __drv_when(Timeout != 0, _Must_inspect_result_) 96 __drv_when(Timeout == 0, __drv_maxIRQL(PASSIVE_LEVEL)) 97 __drv_when(Timeout != 0 && *Timeout == 0, __drv_maxIRQL(DISPATCH_LEVEL)) 98 __drv_when(Timeout != 0 && *Timeout != 0, __drv_maxIRQL(PASSIVE_LEVEL))
|
/reactos/sdk/lib/drivers/wdf/shared/inc/primitives/common/ |
H A D | mxevent.h | 82 __drv_when(Timeout == NULL && Alertable == FALSE, __drv_valueIs(==0)) 83 __drv_when(Timeout != NULL && Alertable == FALSE, __drv_valueIs(==0;==258)) 84 __drv_when(Timeout != NULL || Alertable == TRUE, _Must_inspect_result_)
|
H A D | mxpagedlock.h | 67 __drv_when(return==1, __drv_setsIRQL(APC_LEVEL))
|
/reactos/sdk/lib/drivers/wdf/shared/core/ |
H A D | fxmemorybufferapi.cpp | 34 __drv_when(PoolType == 1 || PoolType == 257, __drv_maxIRQL(APC_LEVEL)) 35 __drv_when(PoolType == 0 || PoolType == 256, __drv_maxIRQL(DISPATCH_LEVEL)) 50 __drv_when(BufferSize == 0, __drv_reportError(BufferSize cannot be zero)) in WDFEXPORT() 223 __drv_when(NumBytesToCopyTo == 0, __drv_reportError(NumBytesToCopyTo cannot be zero)) in __drv_maxIRQL() 302 __drv_when(NumBytesToCopyFrom == 0, __drv_reportError(NumBytesToCopyFrom cannot be zero)) in __drv_maxIRQL()
|
H A D | fxlookasidelistapi.cpp | 35 __drv_when(PoolType == 1 || PoolType == 257, __drv_maxIRQL(APC_LEVEL)) 36 __drv_when(PoolType == 0 || PoolType == 256, __drv_maxIRQL(DISPATCH_LEVEL)) 46 __drv_when(BufferSize == 0, __drv_reportError(BufferSize cannot be zero)) in WDFEXPORT()
|
H A D | fxmemorybufferpreallocatedapi.cpp | 46 __drv_when(BufferSize == 0, __drv_reportError(BufferSize cannot be zero)) in __drv_maxIRQL() 149 __drv_when(BufferSize == 0, __drv_reportError(BufferSize cannot be zero)) in __drv_maxIRQL()
|
H A D | fxtimerapi.cpp | 247 __drv_when(Wait == __true, __drv_maxIRQL(PASSIVE_LEVEL)) 248 __drv_when(Wait == __false, __drv_maxIRQL(DISPATCH_LEVEL))
|
H A D | fxcxdeviceinitapi.cpp | 74 __drv_when(NumMinorFunctions > 0, __in_bcount(NumMinorFunctions)) in __drv_maxIRQL() 75 __drv_when(NumMinorFunctions == 0, __in_opt) in __drv_maxIRQL()
|
/reactos/sdk/lib/drivers/wdf/shared/targets/usb/ |
H A D | usbutil.hpp | 79 __drv_when(FxUrbType == FxUrbTypeUsbdAllocated, __in) 80 __drv_when(FxUrbType != FxUrbTypeUsbdAllocated, __in_opt) 91 __drv_when(FxUrbType == FxUrbTypeUsbdAllocated, __in) 92 __drv_when(FxUrbType != FxUrbTypeUsbdAllocated, __in_opt)
|
H A D | usbutil.cpp | 33 __drv_when(FxUrbType == FxUrbTypeUsbdAllocated, __in) 34 __drv_when(FxUrbType != FxUrbTypeUsbdAllocated, __in_opt) 68 __drv_when(FxUrbType == FxUrbTypeUsbdAllocated, __in) 69 __drv_when(FxUrbType != FxUrbTypeUsbdAllocated, __in_opt)
|
H A D | fxusbdeviceapi.cpp | 1369 __drv_when(CapabilityBufferLength == 0, __out_opt) in __drv_maxIRQL() 1370 …__drv_when(CapabilityBufferLength != 0 && ResultLength == NULL, __out_bcount(CapabilityBufferLengt… in __drv_maxIRQL() 1371 …__drv_when(CapabilityBufferLength != 0 && ResultLength != NULL, __out_bcount_part_opt(CapabilityBu… in __drv_maxIRQL() 1374 __drv_when(ResultLength != NULL,__deref_out_range(<=,CapabilityBufferLength)) in __drv_maxIRQL()
|
/reactos/sdk/lib/drivers/wdf/shared/inc/primitives/km/ |
H A D | mxeventkm.h | 110 __drv_when(Timeout == NULL && Alertable == FALSE, __drv_valueIs(==0)) 111 __drv_when(Timeout != NULL && Alertable == FALSE, __drv_valueIs(==0;==258)) 112 __drv_when(Timeout != NULL || Alertable == TRUE, _Must_inspect_result_)
|
H A D | mxpagedlockkm.h | 90 __drv_when(return==1, __drv_setsIRQL(APC_LEVEL))
|
/reactos/sdk/lib/drivers/wdf/kmdf/src/core/ |
H A D | fxdpcapi.cpp | 205 __drv_when(Wait == __true, __drv_maxIRQL(PASSIVE_LEVEL)) 206 __drv_when(Wait == __false, __drv_maxIRQL(HIGH_LEVEL))
|
/reactos/sdk/lib/drivers/wdf/kmdf/src/irphandlers/wmi/ |
H A D | fxwmiinstance.cpp | 552 __drv_when(InBufferSize >= OutBufferSize, __inout_bcount(InBufferSize)) in __drv_maxIRQL() 553 __drv_when(InBufferSize < OutBufferSize, __inout_bcount(OutBufferSize)) in __drv_maxIRQL() 671 __drv_when(InBufferSize >= OutBufferSize, __inout_bcount(InBufferSize)) in __drv_maxIRQL() 672 __drv_when(InBufferSize < OutBufferSize, __inout_bcount(OutBufferSize)) in __drv_maxIRQL()
|
/reactos/sdk/lib/drivers/wdf/kmdf/src/dma/base/ |
H A D | fxcommonbufferapi.cpp | 45 __drv_when(Length == 0, __drv_reportError(Length cannot be zero)) in __drv_maxIRQL() 145 __drv_when(Length == 0, __drv_reportError(Length cannot be zero)) in __drv_maxIRQL()
|
/reactos/sdk/lib/drivers/wdf/shared/targets/general/km/ |
H A D | fxiotargetapikm.cpp | 259 __drv_when(BufferLength != 0, __out_bcount_part_opt(BufferLength, *ResultLength)) in __drv_maxIRQL() 260 __drv_when(BufferLength == 0, __out_opt) in __drv_maxIRQL()
|
/reactos/sdk/lib/drivers/wdf/shared/targets/usb/um/ |
H A D | fxusbdeviceum.cpp | 593 __drv_when(CapabilityBufferLength == 0, __out_opt) 594 …__drv_when(CapabilityBufferLength != 0 && ResultLength == NULL, __out_bcount(CapabilityBufferLengt… 595 …__drv_when(CapabilityBufferLength != 0 && ResultLength != NULL, __out_bcount_part_opt(CapabilityBu… 598 __drv_when(ResultLength != NULL,__deref_out_range(<=,CapabilityBufferLength))
|
/reactos/sdk/lib/drivers/wdf/shared/targets/usb/km/ |
H A D | fxusbdevicekm.cpp | 760 __drv_when(CapabilityBufferLength == 0, __out_opt) 761 …__drv_when(CapabilityBufferLength != 0 && ResultLength == NULL, __out_bcount(CapabilityBufferLengt… 762 …__drv_when(CapabilityBufferLength != 0 && ResultLength != NULL, __out_bcount_part_opt(CapabilityBu… 765 __drv_when(ResultLength != NULL,__deref_out_range(<=,CapabilityBufferLength))
|
/reactos/sdk/lib/drivers/wdf/shared/object/ |
H A D | fxobjectstatemachine.cpp | 1197 __drv_when(Unlock, __drv_requiresIRQL(DISPATCH_LEVEL)) in __drv_when() function 1200 __in __drv_when(Unlock, __drv_restoresIRQL) KIRQL OldIrql, in __drv_when()
|
/reactos/sdk/lib/drivers/wdf/shared/inc/primitives/um/ |
H A D | mxeventum.h | 145 __drv_when(Timeout != NULL, _Must_inspect_result_)
|