MiSetOriginalPtePfnFromFreeList

UINT64 __fastcall MiSetOriginalPtePfnFromFreeList(UINT64 *a1){
  UINT64 result; 
  UINT64 *v2; 
  if( *a1 )
  {
    result = *a1 & 0xFFFFFFFFFFFFFC1Fui64 | 0x80;
    *a1 = result;
  }
  else
  {
    result = MiSwizzleInvalidPte(128i64);
    *v2 = result;
  }
  return result;
}

Referenced by: