IoWMIDeviceObjectToProviderId

ULONG __stdcall IoWMIDeviceObjectToProviderId(PDEVICE_OBJECT DeviceObject){
  unsigned __int64 v2; 
  _REGENTRY *RegEntryByDevice; 
  ULONG v4; 

  v2 = (unsigned __int8)KeAcquireSpinLockRaiseToDpc((UINT64 *)&ExBootDevicesRemovedEvent + 436);
  RegEntryByDevice = WmipDoFindRegEntryByDevice(DeviceObject);
  if( RegEntryByDevice )
    v4 = RegEntryByDevice[14];
  else
    v4 = 0;
  KxReleaseSpinLock((UINT64 *)&ExBootDevicesRemovedEvent + 436);
  __writecr8(v2);
  return v4;
}

Referenced by:

PpmAllocWmiEvent
WmipSetTraceNotify