VOID __stdcall EtwpInitializeProviderTraits(){
KeInitializeGuardedMutex((PKGUARDED_MUTEX)((char *)&ExBootDevicesRemovedEvent + 2048));
*(&ExBootDevicesRemovedEvent + 157) = 0i64;
KeInitializeGuardedMutex((PKGUARDED_MUTEX)((char *)&ExBootDevicesRemovedEvent + 2528));
*(&ExBootDevicesRemovedEvent + 156) = 0i64;
}