MiMakeSubsectionPte

INT64 __fastcall MiMakeSubsectionPte(INT64 a1){
  return MiSwizzleInvalidPte(16 * ((a1 << 12) | *(_WORD *)(a1 + 32) & 0x3E | 0x40));
}

Referenced by:

MiAllocateFileExtents
MiAllocatePerSessionProtos
MiBuildImageControlArea
MiInitializePrototypePtes
MiParseImageSectionHeaders