INT8 __stdcall HalpBlkWdInitialize(){
INT8 result;
*(&CmpDummyThreadEvent + 1793) = 0;
result = KiInitializeTimer2((INT64)&CmpDummyThreadEvent + 3584, (INT64)HalpBlkWdTimerRoutine, 0i64, 8i64);
*(&CmpDummyThreadEvent + 471) = 0i64;
*(&CmpDummyThreadEvent + 468) = 0i64;
*(&CmpDummyThreadEvent + 470) = HalpBlkWdWorkerRoutine;
return result;
}