NTSTATUS __fastcall HvlRestoreTime(int a1, __int64 a2, __int64 a3){
UINT16 v4;
__int64 v5;
int v6;
int v7;
__int64 v8;
__int64 v9;
if( (HvlpFlags & 2) != 0 && (HvlpRootFlags & 0x400) != 0 )
return 0;
v7 = 0;
v5 = -1i64;
v6 = a1;
v8 = a2;
v9 = a3;
v4 = HvcallFastExtended(65795i64, &v5, 0x20u, 0i64, 0);
return HvlpHvToNtStatus(v4);
}