INT64 __fastcall AslImageFileToArchitecture(INT16 a1){
__int64 v1;
v1 = 0i64;
while( *((_WORD *)qword_140C11FC0 + 2 * v1 + 1) != a1 )
{
if( (unsigned __int64)++v1 >= 4 )
return 0xFFFFi64;
}
return *((unsigned __int16 *)qword_140C11FC0 + 2 * v1);
}