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