HalEfiResetSystem

VOID __stdcall HalEfiResetSystem(INT64 ResetType){
  unsigned int v1; 
  __int16 v2; 

  if( HalEfiRuntimeServicesTable && HalEfiRuntimeServicesTable[2] )
  {
    _disable();
    _InterlockedIncrement(&dword_140C49ED8);
    _InterlockedIncrement(&dword_140C49ECC);
    HalpEfiStartRuntimeCode(4ui64);
    ((void(__fastcall *)(_QWORD, _QWORD, _QWORD, _QWORD))HalEfiRuntimeServicesTable[2])(v1, 0i64, 0i64, 0i64);
    _InterlockedAnd((volatile signed __int32 *)&KeGetPcr()->HalReserved[8], 0xFFFFFFFB);
    _InterlockedDecrement(&dword_140C49ECC);
    _InterlockedDecrement(&dword_140C49ED8);
    if( (v2 & 0x200) != 0 )
      _enable();
  }
}

Referenced by: