PnpFreeDeviceInstancePath

void __fastcall PnpFreeDeviceInstancePath(__int64 a1){
  void *v2; 

  ExAcquireFastMutex(&Mutex);
  v2 = *(void **)(a1 + 48);
  if( v2 )
    ExFreePoolWithTag(v2, 0x49706E50u);
  *(_DWORD *)(a1 + 40) = 0;
  *(_QWORD *)(a1 + 48) = 0i64;
  KeReleaseGuardedMutex(&Mutex);
}

Referenced by:

IopDestroyDeviceNode
PiBuildDeviceNodeInstancePath