VOID KeInitializeEvent(PKEVENT Event,EVENT_TYPE Type,BOOLEAN State)
{
g_return_if_fail(Event!=NULL);
- g_return_if_fail(Type!=NotificationEvent && Type!=SynchronizationEvent);
+ g_return_if_fail(Type==NotificationEvent || Type==SynchronizationEvent);
/* TODO:thread */
}