VOID __stdcall MiInitializeTbFlushList(_MI_TB_FLUSH_LIST *TbFlushList, _KTBFLUSH_TYPE FlushType, UINT64 MaximumSize){
*TbFlushList = FlushType;
TbFlushList[3] = 0;
*((_WORD *)TbFlushList + 2) = 0;
*((_QWORD *)TbFlushList + 2) = 0i64;
*((_QWORD *)TbFlushList + 3) = 0i64;
TbFlushList[2] = MaximumSize;
}