NTSTATUS __stdcall RtlStateDurationDelta(INT64 a1, INT64 *a2, UINT64 *a3){
unsigned int v4;
NTSTATUS v5;
NTSTATUS result;
*(_QWORD *)a1 = 0i64;
v4 = *((_DWORD *)a2 + 1) & 0x7FFFFFFF;
if( (*((_DWORD *)a3 + 1) & 0x7FFFFFFFu) > v4 )
*(_DWORD *)(a1 + 4) = (*((_DWORD *)a3 + 1) - v4) & 0x7FFFFFFF;
v5 = *(_DWORD *)a2;
result = *(_DWORD *)a3;
if( *(_DWORD *)a2 <= *(_DWORD *)a3 )
v5 = *(_DWORD *)a3;
*(_DWORD *)a1 = v5;
return result;
}