MiMakePageFilePte

NTSTATUS __stdcall MiMakePageFilePte(INT64 a1){
  return MiSwizzleInvalidPte(a1 << 32);
}