VfUtilDbgPrint

VOID __stdcall VfUtilDbgPrint(INT8 *Format){
  __int64 v1; 
  __int64 v2; 
  __int64 v3; 
  __int64 v4; 
  __int64 v5; 
  __int64 v6; 
  v4 = v1;
  v5 = v2;
  v6 = v3;
  vDbgPrintExWithPrefixInternal((INT8 *)File, 0x65ui64, 0i64, Format, (INT8 *)&v4, 1u);
}

Referenced by: