__int64 __fastcall HalStartNextProcessor(const void *a1, unsigned int a2, unsigned int a3){
INT64 v6;
unsigned int started;
if( (unsigned int)HalpInterruptModel() - 1 > 3 || a2 >= HalpQueryMaximumRegisteredProcessorCount(v6) )
return 2i64;
started = HalpInterruptStartProcessor(a2, a3, 0, a1);
if( HalpInterruptBlockedProcessors )
{
if( started == 4 )
HalpInterruptStartBlockedProcessors(a2);
}
return started;
}