INT64 __fastcall KiSelectActiveTimerTable(INT64 a1, CHAR a2){
INT64 result;
result = 0i64;
if( !KiSerializeTimerExpiration )
return a1 + 14656;
if( !a2 || *(_BYTE *)(a1 + 33) )
return(INT64)KiProcessorBlock + 14656;
return result;
}