WmipFindRegEntryByDevice

_REGENTRY *__stdcall WmipFindRegEntryByDevice(_DEVICE_OBJECT *DeviceObject){
  unsigned __int64 v2; 
  _REGENTRY *RegEntryByDevice; 
  _REGENTRY *v4; 

  KeWaitForSingleObject((UINT64)&ExBootDevicesRemovedEvent + 3072, 0, 0, 0, 0i64);
  v2 = (unsigned __int8)KeAcquireSpinLockRaiseToDpc((UINT64 *)&ExBootDevicesRemovedEvent + 436);
  RegEntryByDevice = WmipDoFindRegEntryByDevice(DeviceObject);
  v4 = RegEntryByDevice;
  if( RegEntryByDevice )
    _InterlockedIncrement(RegEntryByDevice + 12);
  KxReleaseSpinLock((UINT64 *)&ExBootDevicesRemovedEvent + 436);
  __writecr8(v2);
  KeReleaseMutex((_KMUTANT *)((char *)&ExBootDevicesRemovedEvent + 3072), 0);
  return v4;
}

Referenced by:

IoWMIRegistrationControl
WmipDeregisterDevice
WmipQueryWmiDataBlock
WmipRegisterDevice
WmipUpdateRegistration