PiDevCfgConfigureDeviceDriverConfiguration

__int64 __fastcall PiDevCfgConfigureDeviceDriverConfiguration(
        __int64 a1,
        __int64 a2,
        void *a3,
        int a4,
        __int64 a5,
        __int64 a6,
        _DWORD *a7,
        _DWORD *a8){
  __int64 result; 
  UINT64 v13; 
  UINT64 a7a; 
  INT64 a11; 
  if( (a4 & 1) == 0 )
    return PiDevCfgConfigureDeviceKeys(a1, a2, a3, a4, a7, a8);
  LODWORD(a11) = (*(_DWORD *)a2 & 1) << 17;
  LODWORD(a7a) = 1;
  result = PiDevCfgCopyObjectProperties(
             PiPnpRtlCtx,
             0i64,
             0i64,
             a3,
             v13,
             *(_QWORD *)(a1 + 48),
             a7a,
             *(_QWORD *)(a2 + 16),
             a5,
             a6,
             a11);
  if( (int)result >= 0 )
    return PiDevCfgConfigureDeviceKeys(a1, a2, a3, a4, a7, a8);
  return result;
}

Referenced by:

PiDevCfgConfigureDeviceDriver
PiDevCfgMigrateDevice