VOID __stdcall KiSanitizeProfileInterval(UINT64 *Interval){
int v1;
int v2;
v1 = *(_DWORD *)Interval;
v2 = *(_DWORD *)KiCacheErrataMonitor;
if( *(_DWORD *)Interval > *(_DWORD *)KiCacheErrataMonitor )
{
*(_DWORD *)Interval = v2;
v1 = v2;
}
KiSanitizedProfileInterval = v1;
}