MiSetOriginalPtePfnFromFreeList

NTSTATUS __stdcall MiSetOriginalPtePfnFromFreeList(UINT64 *a1){
  UINT64 v1; 
  UINT64 *v2; 

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

Referenced by: