CHAR __fastcall MiUpdateWsleAge(_MMSUPPORT_INSTANCE *WsInfo, _QWORD *a2, UINT8 a3){
__int64 v6;
CHAR result;
v6 = (__int64)(((_QWORD)a2 << 25) - ((_QWORD)MmGetPteBase() << 25)) >> 16;
result = MiGetVaAge((INT64)WsInfo, v6);
if( a3 != result && (unsigned __int8)result < 8u && (a3 == 7 || result == 7) )
{
if( !a3 )
*a2 |= 0x20ui64;
return MiSetVaAgeList(WsInfo, v6, 1ui64, a3);
}
return result;
}