53 if (PrevIrql != currIrql) {
54 KdPrint((
"WDF VERIFIER: Irql at entry of event is not same as at exit.\n"));
84 KdPrint((
"WDF VERIFIER: Critical section entry and exit around event callback incorrect\n"));
110 if (IoGetActivityIdIrp((*ppReq)->GetFxIrp()->GetIrp(), pActivityId) ==
STATUS_NOT_FOUND)
113 IoSetActivityIdIrp((*ppReq)->GetFxIrp()->GetIrp(), pActivityId);
124 GUID activityId = { 0 };
150 GUID activityId = { 0 };
197 EventWriteFX_POWER_D0_ENTRY_START(pActivityId, pDriverDeviceAdd,
Handle);
228 EventWriteFX_POWER_D0_EXIT_START(pActivityId, pDriverDeviceAdd,
Handle);
259 EventWriteFX_POWER_HW_PREPARE_START(pActivityId, pDriverDeviceAdd,
Handle);
289 EventWriteFX_POWER_HW_RELEASE_START(pActivityId, pDriverDeviceAdd,
Handle);
329 EventWriteFX_EVTIOSTOP_START(pActivityId, pDriverDeviceAdd,
device);
356 EventWriteFX_EVTIOSTOP_STOP(pActivityId, pDriverDeviceAdd,
device);
WDFDEVICE __inline GetHandle(VOID)
__inline PFN_WDF_DRIVER_DEVICE_ADD GetDriverDeviceAddMethod()
__inline CfxDevice * GetDevice(VOID)
UCHAR GetMajorFunction(VOID)
static FxObject * _GetObjectFromHandle(__in WDFOBJECT Handle, __inout PWDFOBJECT_OFFSET ObjectOffset)
__inline PFX_DRIVER_GLOBALS GetDriverGlobals(VOID)
_Must_inspect_result_ FxIoQueue * GetCurrentQueue(VOID)
#define KeGetCurrentIrql()
#define EVENT_ACTIVITY_CTRL_CREATE_ID
PFX_DRIVER_GLOBALS pFxDriverGlobals
FxObjectHandleGetPtr(GetFxDriverGlobals(DriverGlobals), Fdo, FX_TYPE_DEVICE,(PVOID *)&pFdo)
__inline PFX_DRIVER_GLOBALS GetFxDriverGlobals(__in PWDF_DRIVER_GLOBALS DriverGlobals)
#define FxVerifierBugCheck(FxDriverGlobals, Error,...)
__inline BOOLEAN IsFxPerformanceAnalysis(__in PFX_DRIVER_GLOBALS FxDriverGlobals)
BOOLEAN NTAPI KeAreApcsDisabled(VOID)
__inline BOOLEAN PerfEvtDevicePrepareHardwareStart(__in WDFDEVICE Handle, __inout GUID *pActivityId)
__inline BOOLEAN PerfEvtDeviceD0ExitStart(__in WDFDEVICE Handle, __inout GUID *pActivityId)
__inline VOID PerfEvtDevicePrepareHardwareStop(__in WDFDEVICE Handle, __in GUID *pActivityId)
FORCEINLINE BOOLEAN PerfIoStart(__in WDFREQUEST Handle)
__inline BOOLEAN PerfEvtIoStopStart(__in WDFQUEUE Queue, __inout GUID *pActivityId)
__inline VOID VerifyCriticalRegionEntry(__out BOOLEAN *CritRegion)
__inline VOID PerfEvtDeviceD0EntryStop(__in WDFDEVICE Handle, __in GUID *pActivityId)
__inline VOID VerifyCriticalRegionExit(__in PWDF_DRIVER_GLOBALS DriverGlobals, __in BOOLEAN OldCritRegion, __in PVOID Pfn)
__inline VOID VerifyIrqlEntry(__out KIRQL *Irql)
FORCEINLINE VOID PerformanceAnalysisIOProcess(__in PFX_DRIVER_GLOBALS pFxDriverGlobals, __in WDFREQUEST Handle, __out FxRequest **ppReq, __inout GUID *pActivityId)
__inline VOID PerfEvtDeviceReleaseHardwareStop(__in WDFDEVICE Handle, __in GUID *pActivityId)
__inline BOOLEAN PerfEvtDeviceReleaseHardwareStart(__in WDFDEVICE Handle, __inout GUID *pActivityId)
FORCEINLINE PFN_WDF_DRIVER_DEVICE_ADD PerformanceGetDriverDeviceAdd(__in WDFOBJECT Handle)
__inline VOID VerifyIrqlExit(__in PWDF_DRIVER_GLOBALS DriverGlobals, __in KIRQL PrevIrql)
FORCEINLINE BOOLEAN PerfIoComplete(__in WDFREQUEST Handle)
__inline BOOLEAN PerfEvtDeviceD0EntryStart(__in WDFDEVICE Handle, __inout GUID *pActivityId)
__inline VOID PerfEvtDeviceD0ExitStop(__in WDFDEVICE Handle, __in GUID *pActivityId)
__inline VOID PerfEvtIoStopStop(__in WDFQUEUE Queue, __in GUID *pActivityId)
@ WDF_VERIFIER_CRITICAL_REGION_MISMATCH
@ WDF_VERIFIER_IRQL_MISMATCH
_Must_inspect_result_ _In_ WDFDEVICE _In_ PIRP _In_ WDFQUEUE Queue
EVT_WDF_DRIVER_DEVICE_ADD * PFN_WDF_DRIVER_DEVICE_ADD