CHAR *__stdcall HalpReserveHalPtes(){
char *v0;
int v1;
_HARDWARE_PTE *PteAddressSafe;
v0 = (char *)HalpHeapEnd;
v1 = 0;
while( 1 )
{
v0 -= 4096;
PteAddressSafe = HalpMmGetPteAddressSafe(v0);
if( !PteAddressSafe || (*(_BYTE *)PteAddressSafe & 1) != 0 )
break;
if( ++v1 )
{
HalpHeapEnd = (__int64)v0;
return v0;
}
}
return 0i64;
}