UINT64 __stdcall KeQueryTimerDueTime(KTIMER *Timer){
UINT64 v2;
unsigned __int8 CurrentIrql;
v2 = 0i64;
CurrentIrql = KeGetCurrentIrql();
__writecr8(2ui64);
KiAcquireKobjectLockSafe(Timer);
if( (*((_BYTE *)Timer + 3) & 0x40) != 0 )
v2 = *((_QWORD *)Timer + 3);
_InterlockedAnd((volatile signed __int32 *)Timer, 0xFFFFFF7F);
__writecr8(CurrentIrql);
return v2;
}