VOID __stdcall HalpKsrCallbackRoutine(PVOID CallbackContext, PVOID Argument1, PVOID Argument2){
int v3;
int v4;
VOID(__fastcall *v5)(INT64, INT64, INT64, INT64, volatile INT32 *);
if( !(_DWORD)Argument1 )
goto LABEL_6;
v3 = (_DWORD)Argument1 - 1;
if( v3 )
{
v4 = v3 - 2;
if( v4 )
{
if( v4 != 1 )
return;
goto LABEL_5;
}
LABEL_6:
v5 = HalpShutdownReset;
goto LABEL_7;
}
LABEL_5:
v5 = 0i64;
LABEL_7:
HalpSetShutdownResetHandler((INT64)v5);
}