UINT64 *__stdcall HalpTimerNoteHpetMaskingBehavior(){
UINT64 *result;
ULONG_PTR *Timer;
result = HalpFindTimer(3, 256, 0, 0, 1);
if( result )
{
Timer = HalpFindTimer(4, 0, 0, 0, 1);
if( Timer )
*((_DWORD *)Timer + 56) &= 0xFFFFF0FF;
result = HalpFindTimer(2, 0, 0, 0, 1);
if( result )
*((_DWORD *)result + 56) &= 0xFFFFF0FF;
}
return result;
}