#ifndef _NTDBG_H NTSYSAPI ULONG STDAPIVCALLTYPE DbgPrintEx( _In_ ULONG ComponentId, _In_ ULONG Level, _In_z_ _Printf_format_string_ PCCH Format, ... ); #endif View code on GitHub
This function is documented in Windows Driver Kit.