MiDriverPageMustStayResident

VOID __stdcall MiDriverPageMustStayResident(_KLDR_DATA_TABLE_ENTRY *DataTableEntry, _MMPTE *PointerPte){
  const signed __int64 **SectionPointer; 
  signed __int64 v3; 

  SectionPointer = (const signed __int64 **)DataTableEntry[1].SectionPointer;
  v3 = ((char *)PointerPte
      - (((unsigned __int64)DataTableEntry->DllBase >> 9) & 0x7FFFFFFFF8i64)
      - (char *)MmGetPteBase()) >> 3;
  if( (unsigned int)v3 < *(_DWORD *)SectionPointer )
    _bittest64(SectionPointer[1], (unsigned int)v3);
}

Referenced by:

MiMakeDriverPagesPrivate
MiSetPagingOfDriver