void __fastcall __noreturn HalpInterruptRebootService(__int64 a1, DOUBLE a2){ if( __readmsr(0xC0000101) < 0xFFFF800000000000ui64 ) __writemsr(0xC0000101, __readmsr(0xC0000102)); HalpInterruptResetThisProcessor(3221225729i64, a2); }