PlatformDbg.c File Reference

Implementation of cross platform APIs for kernel debug output. More...

#include "pch.h"

Functions
VOID	PlatformDbgPrint (const CHAR *Format,...)
	Print a debug message to the kernel debugger.

Detailed Description

Implementation of cross platform APIs for kernel debug output.

Author

Sina Karvandi (sina@.nosp@m.hype.nosp@m.rdbg..nosp@m.org)

Version

0.19

Date

2026-05-09

Copyright

This project is released under the GNU Public License v3.

Function Documentation

PlatformDbgPrint()

VOID PlatformDbgPrint	(	const CHAR *	Format,
			... )

Print a debug message to the kernel debugger.

Parameters

Format	printf-style format string
...	Variable arguments

Returns

VOID

{
#if defined(_WIN32) || defined(_WIN64)
 
    va_list ArgList;
    va_start(ArgList, Format);
    vDbgPrintEx(DPFLTR_IHVDRIVER_ID, DPFLTR_INFO_LEVEL, Format, ArgList);
    va_end(ArgList);
 
#elif defined(__linux__)
 
#    error "Not yet implemented"
 
#else
 
#    error "Unsupported platform"
 
#endif
}