void __fastcall PnpFreeDeviceInstancePath(__int64 a1){
void *v2;
ExAcquireFastMutex(&PnpDeviceReferenceTableLock);
v2 = *(void **)(a1 + 48);
if( v2 )
ExFreePoolWithTag(v2, 0x49706E50u);
*(_DWORD *)(a1 + 40) = 0;
*(_QWORD *)(a1 + 48) = 0i64;
KeReleaseGuardedMutex(&PnpDeviceReferenceTableLock);
}