void __fastcall MmOutPageKernelStack(_QWORD *a1){
INT64 result;
int v3;
__int64 v4;
memset((INT64)&result, 0i64);
if( (MiFlags & 0x40) != 0 )
{
v4 = 0i64;
v3 = 20;
KeEnumerateKernelStackSegments(
a1,
(__int64(__fastcall *)(__int64, __int128 *, __int64))MiOutPageSingleKernelStack,
(__int64)&result);
MiFlushTbList((__int64)&result);
}
}