VOID __stdcall MiFlushEntireTbDueToAttributeChange(){
INT64 v0[14];
++*(&stru_140C4DB30 + 68);
if( VslVsmEnabled )
{
memset(v0, 0i64, 0x68u);
VslpEnterIumSecureMode(3u, 0, 0i64, (INT64)v0);
}
KeFlushTb((_KTBFLUSH_TYPE)4, FlushAllProcessors);
}