INT64 __stdcall HvlpGetVtlCallVa(){
char *v0;
INT64 result;
UINT64 a5;
_QWORD a4[2];
__int64 a2;
int v5;
int v6;
int v7;
a2 = -1i64;
v0 = 0i64;
*(_OWORD *)a4 = 0i64;
v6 = 0;
v5 = -2;
v7 = 851970;
LODWORD(a5) = 16;
result = HvcallFastExtended(0x100010050i64, &a2, 0x14ui64, a4, a5);
if( !(_WORD)result )
v0 = (char *)HvlpHypercallCodeVa + (a4[0] & 0xFFF);
HvlpVsmVtlCallVa = (__int64)v0;
return result;
}