53#pragma prefast(suppress:__WARNING_UNMATCHED_DECL_ANNO, "_Must_inspect_result_ not needed in kernel mode as the function always succeeds");
__inline VOID SetWithIncrement(__in KPRIORITY Priority)
__inline VOID Uninitialize()
__inline PVOID GetEvent()
CHECK_RETURN_IF_USER_MODE __inline NTSTATUS Initialize(__in EVENT_TYPE Type, __in BOOLEAN InitialState)
__inline LONG ReadState()
#define ASSERT_DBGFLAG_INITIALIZED
#define SET_DBGFLAG_INITIALIZED
#define CLEAR_DBGFLAG_INITIALIZED
#define __drv_when(cond, annotes)
#define KeWaitForSingleObject(pEvt, foo, a, b, c)
#define KeInitializeEvent(pEvt, foo, foo2)
#define KeSetEvent(pEvt, foo, foo2)
VOID NTAPI KeClearEvent(IN PKEVENT Event)
LONG NTAPI KeReadStateEvent(IN PKEVENT Event)
__drv_valueIs(==0;==258)) __drv_when(Timeout !
_In_ PVOID _In_ BOOLEAN Alertable
_In_ ACCESS_MASK _In_opt_ POBJECT_ATTRIBUTES _In_ EVENT_TYPE _In_ BOOLEAN InitialState
#define _Must_inspect_result_
enum _EVENT_TYPE EVENT_TYPE
#define FIELD_OFFSET(t, f)
_In_ WDFINTERRUPT _In_ WDF_INTERRUPT_POLICY _In_ WDF_INTERRUPT_PRIORITY Priority
enum _KWAIT_REASON KWAIT_REASON