UINT64 __stdcall vDbgPrintEx(UINT64 ComponentId, UINT64 Level, PCCH Format, va_list arglist){
return vDbgPrintExWithPrefixInternal(
(INT8 *)&File,
(unsigned int)ComponentId,
(unsigned int)Level,
(INT8 *)Format,
arglist,
1u);
}