INT64 __fastcall SdbpGetIndex(__int64 a1, UINT64 a2, unsigned int *a3){
unsigned int v4;
int v7;
v4 = a2;
if( (unsigned __int16)SdbGetTagFromTagID(a1, a2) == 0x9801 )
{
*a3 = (unsigned int)SdbGetTagDataSize(a1, v4) / 0xC;
return SdbpGetMappedTagData(a1, v4);
}
else
{
v7 = v4;
AslLogCallPrintf(1ui64, "SdbpGetIndex", 0x455ui64, "Index tagid 0x%lx is not referring to the index bits", v7);
return 0i64;
}
}