INT64 __fastcall MiCreateSystemPageTableTail(INT64 a1){ MiFlushTbList(*(_QWORD *)(a1 + 168) + 80i64); return 0i64; }