UINT64 __stdcall vDbgPrintExWithPrefix(PCCH Prefix, UINT64 ComponentId, UINT64 Level, PCCH Format, va_list arglist){ return vDbgPrintExWithPrefixInternal((INT8 *)Prefix, ComponentId, Level, (INT8 *)Format, arglist, 1u); }