50{
58
63
66
68 {
70 {
71
72 if (OriginalIrql == 3 || (OriginalIrql >= 11 && OriginalIrql <= 26) || OriginalIrql == 30)
73 continue;
76 {
77 if (SynchIrql == 3 || (SynchIrql >= 11 && SynchIrql <= 26) || SynchIrql == 30)
78 continue;
80 ok_irql(OriginalIrql);
85 ok_irql(OriginalIrql);
87
88 }
90 }
91 }
92}
static KSYNCHRONIZE_ROUTINE SynchronizeRoutine
#define ok_eq_int(value, expected)
#define KeRaiseIrql(irql, oldIrql)
#define KeLowerIrql(oldIrql)
#define KeInitializeSpinLock(sl)
#define RtlFillMemory(Dest, Length, Fill)
BOOLEAN NTAPI KeSynchronizeExecution(IN OUT PKINTERRUPT Interrupt, IN PKSYNCHRONIZE_ROUTINE SynchronizeRoutine, IN PVOID SynchronizeContext OPTIONAL)
_Must_inspect_result_ _In_ WDFDEVICE _In_ PWDF_INTERRUPT_CONFIG _In_opt_ PWDF_OBJECT_ATTRIBUTES _Out_ WDFINTERRUPT * Interrupt