MiEnablePagingOfDriver

VOID __stdcall MiEnablePagingOfDriver(VOID *ImageHandle){
  VOID *v1; 
  unsigned int v3; 
  _MMPTE *PointerPte; 
  _MMPTE *LastPte; 

  v1 = (VOID *)*((_QWORD *)ImageHandle + 6);
  LastPte = 0i64;
  PointerPte = 0i64;
  if( MiImagePagable((_KLDR_DATA_TABLE_ENTRY *)ImageHandle, v1) )
  {
    v3 = 0;
    do
    {
      v3 = MiSnapDriverRange((_KLDR_DATA_TABLE_ENTRY *)ImageHandle, v3, 1ui64, 0i64, &PointerPte);
      if( PointerPte )
        MiSetPagingOfDriver((_KLDR_DATA_TABLE_ENTRY *)ImageHandle, PointerPte, LastPte);
    }
    while( v3 );
  }
}

Referenced by:

MiEnablePagingTheExecutive