Jungo WinDriver  
Official Documentation

◆ KDBG()

int __cdecl KDBG ( DWORD  dwLevel,
DWORD  dwSection,
const char *  format,
  ... 
)