CHAR __fastcall ExpCheckForFreedEnhancedTimer(UINT64 P1){
CHAR result;
result = ExpTimerFreedCookie;
if( *(_BYTE *)(P1 + 152) != ExpTimerFreedCookie )
KeBugCheckEx(0xC6u, P1, 1ui64, *((char *)KeGetCurrentThread() + 562), 0i64);
return result;
}