HalEfiResetSystem

VOID __stdcall HalEfiResetSystem(INT64 ResetType){
  unsigned int v1; 
  __int16 v2; 
  if( HalEfiRuntimeServicesTable && HalEfiRuntimeServicesTable[2] )
  {
    _disable();
    _InterlockedIncrement(&HalpEfiTimeWrites);
    _InterlockedIncrement(&HalpEfiVariableWrites);
    HalpEfiStartRuntimeCode(4ui64);
    ((void(__fastcall *)(_QWORD, _QWORD, _QWORD, _QWORD))HalEfiRuntimeServicesTable[2])(v1, 0i64, 0i64, 0i64);
    _InterlockedAnd((volatile signed __int32 *)KeGetPcr() + 56, 0xFFFFFFFB);
    _InterlockedDecrement(&HalpEfiVariableWrites);
    _InterlockedDecrement(&HalpEfiTimeWrites);
    if( (v2 & 0x200) != 0 )
      _enable();
  }
}

Referenced by: