Printing

Kernel-space printing declarations.

Cuddl kernel drivers may use this API to print information information in a platform-independent manner.

This part of the API is only applicable to kernel-space code.

int cuddlk_print(...)

Platform-specific kernel printf() implementation.

This maps to printk() on Linux (both standard and Xenomai) and printf() on RTEMS.

int cuddlk_debug(...)

Print from kernel if debugging output is enabled.

This printf-style function generates output if and only if CUDDLK_ENABLE_DEBUG_PRINT is enabled at compile time.

int cuddlk_idebug(...)

Print from kernel if intrusive debugging output is enabled.

This printf-style function is for printing debugging information in contexts that are likely to affect performance. It only generates output if and only if CUDDLK_ENABLE_INTRUSIVE_DEBUG_PRINT is enabled at compile time.