MiFlushKernelCfgBitmap

VOID __stdcall MiFlushKernelCfgBitmap(INT64 a1, UINT64 a2){
  __int64 v2; 
  unsigned __int64 v4; 
  _MI_TB_FLUSH_LIST TbFlushList[48]; 

  v2 = (unsigned int)a2;
  memset(TbFlushList, 0i64, 0xB8u);
  *(_QWORD *)&TbFlushList[6] = 0i64;
  TbFlushList[2] = 20;
  v4 = qword_140C4C978 + ((2 * ((unsigned __int64)(a1 + 0x800000000000i64) >> 4)) >> 3);
  MiInsertTbFlushEntry(
    TbFlushList,
    (VOID *)(v4 & 0xFFFFFFFFFFFFF000ui64),
    ((((_WORD)qword_140C4C978 + (unsigned __int16)((2 * ((unsigned __int64)(a1 + 0x800000000000i64) >> 4)) >> 3)) & 0xFFF)
   + ((2 * ((unsigned __int64)(a1 + v2 + 0x7FFFFFFFFFFFi64) >> 4)) >> 3)
   - v4
   + qword_140C4C978
   + 4096) >> 12,
    0i64);
  MiFlushTbList(TbFlushList);
}

Referenced by: