WmipRegisterFirmwareProviders

INT64 __fastcall WmipRegisterFirmwareProviders(INT64 a1, INT64 a2, INT64 a3, INT64 a4){
  INT64 result; 
  int SystemInformation; 
  char v6; 
  __int16 v7; 
  char v8; 
  NTSTATUS(__stdcall *v9)(SYSTEM_FIRMWARE_TABLE_INFORMATION *); 
  PDRIVER_OBJECT v10; 
  SystemInformation = 1381190978;
  v7 = 0;
  v8 = 0;
  v6 = 1;
  v9 = WmipRawSMBiosTableHandler;
  v10 = PnpDriverObject;
  result = NtSetSystemInformation(SystemRegisterFirmwareTableInformationHandler, &SystemInformation, 0x18ui64);
  if( dword_140C19650 == 1 )
  {
    SystemInformation = 1179210317;
    v6 = 1;
    v9 = WmipFirmwareTableHandler;
    v10 = PnpDriverObject;
    return NtSetSystemInformation(SystemRegisterFirmwareTableInformationHandler, &SystemInformation, 0x18ui64);
  }
  return result;
}

Referenced by: