WmipRegisterFirmwareProviders

VOID __stdcall WmipRegisterFirmwareProviders(){
  int SystemInformation; 
  char v1; 
  __int16 v2; 
  char v3; 
  NTSTATUS(__stdcall *v4)(_SYSTEM_FIRMWARE_TABLE_INFORMATION *); 
  __int64 v5; 

  SystemInformation = 1381190978;
  v2 = 0;
  v3 = 0;
  v1 = 1;
  v4 = WmipRawSMBiosTableHandler;
  v5 = *(&PnpReplaceEvent + 823);
  NtSetSystemInformation(SystemRegisterFirmwareTableInformationHandler, &SystemInformation, 0x18ui64);
  if( *(&ExBootDevicesRemovedEvent + 276) == 1 )
  {
    SystemInformation = 1179210317;
    v1 = 1;
    v4 = WmipFirmwareTableHandler;
    v5 = *(&PnpReplaceEvent + 823);
    NtSetSystemInformation(SystemRegisterFirmwareTableInformationHandler, &SystemInformation, 0x18ui64);
  }
}

Referenced by: