VfErrorReport7

void __fastcall VfErrorReport7(__int64 a1, const void *a2, const void *a3, const void *a4){
  char pszDest[112]; 
  ViErrorDisplayDescription(585);
  if( (int)RtlStringCbPrintfA(
              pszDest,
              0x6Eui64,
              (INT8 *)"CulpritAddress = %p, DeviceObject1 = %p, DeviceObject2 = %p.\n") >= 0 )
    VfUtilDbgPrint(pszDest);
  ViErrorFinishReport(585i64, (UINT64)a2, (UINT64)a3, (UINT64)a4);
}

Referenced by:

PpvUtilFailDriver