WheaAddErrorSourceDeviceDriverV1

INT64 __fastcall WheaAddErrorSourceDeviceDriverV1(VOID *a1, INT64 rdx0, UINT64 a3, INT64 a4){
  __int128 v4; 
  __int128 v5; 
  INT64 result; 
  INT64 a2[2]; 
  __int128 v8; 
  __int64 v9; 
  int v10; 
  int v11; 
  int v12; 
  __int128 v13; 
  __int128 v14; 
  if( *(_DWORD *)rdx0 != 1 )
    return 3221225712i64;
  v4 = *(_OWORD *)rdx0;
  v5 = *(_OWORD *)(rdx0 + 16);
  v10 = *(_DWORD *)(rdx0 + 40);
  *(_OWORD *)a2 = v4;
  v9 = *(_QWORD *)(rdx0 + 32);
  v11 = a4;
  v8 = v5;
  v12 = 1;
  v13 = DEFAULT_DEVICE_DRIVER_CREATOR_GUID;
  LODWORD(a2[0]) = 2;
  v14 = CPER_EMPTY_GUID;
  WheaAddErrorSourceDeviceDriver((INT64)a1, (INT64)a2, a3, a4);
  return result;
}

Referenced by: