VOID *__fastcall SdbReadGUIDTag(VOID *a1, INT64 a2, UINT64 a3, _OWORD *a4){
*(_OWORD *)a1 = 0i64;
if( !(unsigned int)SdbReadBinaryTag(a2, (unsigned int)a3, a1, 0x10u) )
{
AslLogCallPrintf(1ui64, "SdbReadGUIDTag", 0xA7ui64, "Failed to read GUID");
*(_OWORD *)a1 = *a4;
}
return a1;
}