MiFlushKernelCfgBitmap

VOID __fastcall MiFlushKernelCfgBitmap(INT64 a1, UINT64 a2){
  __int64 v2; 
  unsigned __int64 v4; 
  INT64 result; 
  int v6; 
  __int64 v7; 
  v2 = (unsigned int)a2;
  memset((INT64)&result, 0i64);
  v7 = 0i64;
  v6 = 20;
  v4 = qword_140C4C978 + ((2 * ((unsigned __int64)(a1 + 0x800000000000i64) >> 4)) >> 3);
  MiInsertTbFlushEntry(
    (INT64)&result,
    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((__int64)&result);
}

Referenced by: