VOID __stdcall __noreturn HalpInterruptRebootService(_KINTERRUPT *Interrupt, VOID *ServiceContext){ if( __readmsr(0xC0000101) < 0xFFFF800000000000ui64 ) __writemsr(0xC0000101, __readmsr(0xC0000102)); HalpInterruptResetThisProcessor(); }