INT64 __fastcall KiResetProcessorTraceBuffer(_EPROCESS *Process, UINT8 *SignatureLevel){
unsigned __int8 CurrentIrql;
unsigned __int64 v3;
INT64 result;
CurrentIrql = KeGetCurrentIrql();
__writecr8(0xFui64);
v3 = __readmsr(0x570u);
if( (v3 & 1) != 0 )
{
__writemsr(0x570u, v3 & 0xFFFFFFFFFFFFFFFEui64);
__writemsr(0x561u, 0i64);
__writemsr(0x571u, 0i64);
__writemsr(0x570u, v3);
}
result = CurrentIrql;
__writecr8(CurrentIrql);
return result;
}