void __fastcall CmBuildDevicePanelId(int *a1, int a2, int a3, wchar_t *a4){
int v7;
UINT64 dwFlags;
int v9;
int v10;
__int16 v11[40];
PnpStringFromGuid(a1, (wchar_t *)v11);
if( v7 >= 0 )
{
v10 = a3;
v9 = a2;
LODWORD(dwFlags) = 2048;
RtlStringCchPrintfExW(a4, 0x39ui64, 0i64, 0i64, dwFlags, L"%ws\\%04X\\%u", v11, v9, v10);
}
}