NTSTATUS __stdcall RtlpHpEnvFreeVA(UINT64 *a1, UINT64 *a2, INT64 a3){
UINT64 v4;
UINT64 v5;
if( (_DWORD)a3 != 0x8000 )
return MmFreePoolMemory(a1, a2);
v4 = (*a1 + 0x1FFFFF) & 0xFFFFFFFFFFE00000ui64;
v5 = *a1 + *a2 - v4;
*a1 = v4;
*a2 = v5;
if( v5 )
return MmFreePoolMemory(a1, a2);
else
return 0;
}